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