1#ifndef MICROBLAZE_BOOT_H 2#define MICROBLAZE_BOOT_H 3 4#include "hw/hw.h" 5 6void 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