coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
hlt.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 static __always_inline void hlt(void)
4 {
5  while (1);
6 }
__always_inline
#define __always_inline
Definition: compiler.h:35
hlt
static __always_inline void hlt(void)
Definition: hlt.h:3