coreboot-kgpe-d16/src/lib/halt.c

11 lines
126 B
C
Raw Normal View History

/* SPDX-License-Identifier: GPL-2.0-only */
#include <arch/hlt.h>
#include <halt.h>
void halt(void)
{
while (1)
hlt();
}