/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _ASM_GENERIC_EMERGENCY_RESTART_H #define _ASM_GENERIC_EMERGENCY_RESTART_H static inline void machine_emergency_restart(void) { machine_restart(NULL); } #endif /* _ASM_GENERIC_EMERGENCY_RESTART_H */