Angel Pons | 32859fc | 2020-04-02 23:48:27 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
Patrick Georgi | 1b2f2a0 | 2014-11-28 22:00:22 +0100 | [diff] [blame] | 2 | |
| 3 | #ifndef __HALT_H__ |
| 4 | #define __HALT_H__ |
| 5 | |
Maximilian Brune | b3e336c | 2023-09-16 19:49:39 +0200 | [diff] [blame] | 6 | #include <arch/hlt.h> |
| 7 | #include <commonlib/bsd/stdlib.h> |
| 8 | |
| 9 | static inline __noreturn void halt(void) |
| 10 | { |
| 11 | abort(); |
| 12 | } |
Aaron Durbin | b743b1a | 2016-07-13 12:00:49 -0500 | [diff] [blame] | 13 | |
| 14 | /* Power off the system. */ |
| 15 | void poweroff(void); |
| 16 | |
Patrick Georgi | 1b2f2a0 | 2014-11-28 22:00:22 +0100 | [diff] [blame] | 17 | #endif /* __HALT_H__ */ |