include/spd_bin.h: Add SPD IO layer

[coreboot2.git] / src / include / halt.h

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