coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
halt.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <arch/hlt.h>
4 #include <halt.h>
5 
6 void halt(void)
7 {
8  while (1)
9  hlt();
10 }
hlt
static __always_inline void hlt(void)
Definition: hlt.h:6
halt
void halt(void)
halt the system reliably
Definition: halt.c:6