4 #include <arch/cache.h>
void cache_sync_instructions(void)
void dcache_mmu_disable(void)
void boot_linux(void *kernel_ptr, void *fdt_ptr)
void arch_prog_run(struct prog *prog)
static void * prog_entry(const struct prog *prog)
static void * prog_entry_arg(const struct prog *prog)
static enum cbfs_type prog_cbfs_type(const struct prog *prog)
typedef void(X86APIP X86EMU_intrFuncs)(int num)