Line data    Source code

       1             : /* SPDX-License-Identifier: GPL-2.0 */
       2             : #ifndef _ASM_GENERIC_EMERGENCY_RESTART_H
       3             : #define _ASM_GENERIC_EMERGENCY_RESTART_H
       4             : 
       5             : static inline void machine_emergency_restart(void)
       6             : {
       7           0 :         machine_restart(NULL);
       8             : }
       9             : 
      10             : #endif /* _ASM_GENERIC_EMERGENCY_RESTART_H */