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, const char *dtb_filename, 8 void (*machine_cpu_reset)(MicroBlazeCPU *)); 9 10 #endif /* __MICROBLAZE_BOOT __ */ 11