1 #ifndef __MICROBLAZE_BOOT__ 2 #define __MICROBLAZE_BOOT__ 3 4 #include "hw/hw.h" 5 6 void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base, 7 uint32_t ramsize, 8 const char *initrd_filename, 9 const char *dtb_filename, 10 void (*machine_cpu_reset)(MicroBlazeCPU *)); 11 12 #endif /* __MICROBLAZE_BOOT __ */ 13