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