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