coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
halt.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __HALT_H__
4 #define __HALT_H__
5 
6 /**
7  * halt the system reliably
8  */
9 void __noreturn halt(void);
10 
11 /* Power off the system. */
12 void poweroff(void);
13 
14 #endif /* __HALT_H__ */
__noreturn
#define __noreturn
Definition: compiler.h:31
halt
void __noreturn halt(void)
halt the system reliably
Definition: halt.c:6
poweroff
void poweroff(void)
Definition: acpi.c:13