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
__always_inline
void
hlt
(
void
)
7
{
8
for
(;;) ;
9
}
10
11
#endif
/* ARCH_HLT_H */
hlt
static __always_inline void hlt(void)
Definition:
hlt.h:6
__always_inline
#define __always_inline
Definition:
compiler.h:35
src
arch
arm64
include
arch
hlt.h
Generated by
1.9.1