1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef __HALT_H__ 4 #define __HALT_H__ 5 6 #include <arch/hlt.h> 7 #include <commonlib/bsd/stdlib.h> 8 halt(void)9static inline __noreturn void halt(void) 10 { 11 abort(); 12 } 13 14 /* Power off the system. */ 15 void poweroff(void); 16 17 #endif /* __HALT_H__ */ 18