blob: cb691a202b229264e19dac208080b2bb5e0f20fc (
plain)
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__ */
|
