/* SPDX-License-Identifier: GPL-2.0-only */ /* This file is part of the coreboot project. */ #include <arch/hlt.h> #include <halt.h> void halt(void) { while (1) hlt(); }