1 #ifndef MICROBLAZE_BOOT_H 2 #define MICROBLAZE_BOOT_H 3 4 5 void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base, 6 uint32_t ramsize, 7 const char *initrd_filename, 8 const char *dtb_filename, 9 void (*machine_cpu_reset)(MicroBlazeCPU *)); 10 11 #endif /* MICROBLAZE_BOOT_H */ 12