1 #ifndef MICROBLAZE_BOOT_H 2 #define MICROBLAZE_BOOT_H 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_H */ 13