/* SPDX-License-Identifier: GPL-2.0-only */ #ifndef __HALT_H__ #define __HALT_H__ #include <arch/hlt.h> #include <commonlib/bsd/stdlib.h> static inline __noreturn void halt(void) { abort(); } /* Power off the system. */ void poweroff(void); #endif /* __HALT_H__ */