coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Go to the source code of this file.
Functions | |
void | do_soft_reset (void) |
static __noreturn void | soft_reset (void) |
|
inlinestatic |
Definition at line 14 of file reset.h.
References BIOS_INFO, dcache_clean_all(), do_soft_reset(), halt(), and printk.
Referenced by set_flex_ratio_to_tdp_nominal().