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