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 #ifndef ARCH_HLT_H
4 #define ARCH_HLT_H
5 
6 static __noreturn __always_inline void hlt(void)
7 {
8  while (1)
9  asm("hlt");
10 }
11 
12 #endif /* ARCH_HLT_H */
__noreturn
#define __noreturn
Definition: compiler.h:31
__always_inline
#define __always_inline
Definition: compiler.h:35
hlt
static __noreturn __always_inline void hlt(void)
Definition: hlt.h:6