4 #include <arch/cache.h>
void dcache_clean_all(void)
void do_system_reset(void)
static void cf9_reset_prepare(void)
#define printk(level,...)
void outb(u8 val, u16 port)
void __noreturn halt(void)
halt the system reliably
#define BIOS_INFO
BIOS_INFO - Expected events.