![]() |
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.
Macros | |
#define | GCNT_PSHOLD ((void *)0x004AB000u) |
#define | TCSR_BOOT_MISC_DETECT ((void *)0x0193D100) |
#define | TCSR_RESET_DEBUG_SW_ENTRY ((void *)0x01940000) |
Functions | |
void | do_board_reset (void) |
Definition at line 10 of file reset.c.
References GCNT_PSHOLD, TCSR_BOOT_MISC_DETECT, TCSR_RESET_DEBUG_SW_ENTRY, and write32().