coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
reset.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 
3 #ifndef _INTEL_COMMON_RESET_H_
4 #define _INTEL_COMMON_RESET_H_
5 
6 /*
7  * Implement SoC specific global reset (i.e. a reset of both host and
8  * ME partitions). Usually the ME is asked to perform the reset first.
9  * If that doesn't work out, fall back to a manual global reset.
10  */
11 void do_global_reset(void);
12 
13 /* Prepare for reset, run do_global_reset(), halt. */
14 __noreturn void global_reset(void);
15 
16 #endif /* _INTEL_COMMON_RESET_H_ */
__noreturn
#define __noreturn
Definition: compiler.h:31
do_global_reset
void do_global_reset(void)
Definition: reset.c:8
global_reset
__noreturn void global_reset(void)
Definition: reset.c:11