![]() |
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_board_reset (void) |
Definition at line 7 of file reset.c.
References GCNT_PSHOLD, TCSR_BOOT_MISC_DETECT, TCSR_RESET_DEBUG_SW_ENTRY, and write32().