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 */

 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 */