src/include/halt.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

/* 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__ */