blob: cb691a202b229264e19dac208080b2bb5e0f20fc [file] [log] [blame]
Angel Pons32859fc2020-04-02 23:48:27 +02001/* SPDX-License-Identifier: GPL-2.0-only */
Patrick Georgi1b2f2a02014-11-28 22:00:22 +01002
3#ifndef __HALT_H__
4#define __HALT_H__
5
Maximilian Bruneb3e336c2023-09-16 19:49:39 +02006#include <arch/hlt.h>
7#include <commonlib/bsd/stdlib.h>
8
9static inline __noreturn void halt(void)
10{
11 abort();
12}
Aaron Durbinb743b1a2016-07-13 12:00:49 -050013
14/* Power off the system. */
15void poweroff(void);
16
Patrick Georgi1b2f2a02014-11-28 22:00:22 +010017#endif /* __HALT_H__ */