![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <arch/cache.h>
#include <cf9_reset.h>
#include <console/console.h>
#include <halt.h>
#include <reset.h>
Go to the source code of this file.
Functions | |
void | global_reset (void) |
void | do_board_reset (void) |
Definition at line 20 of file reset.c.
References full_reset().
Definition at line 11 of file reset.c.
References BIOS_INFO, cf9_reset_prepare(), dcache_clean_all(), do_global_reset(), halt(), and printk.
Referenced by chipset_handle_reset(), and txt_reset_platform().