1*2a6a4076SMarkus Armbruster #ifndef MICROBLAZE_BOOT_H 2*2a6a4076SMarkus Armbruster #define MICROBLAZE_BOOT_H 347b43a1fSPaolo Bonzini 447b43a1fSPaolo Bonzini 547b43a1fSPaolo Bonzini void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base, 6ec426ff8SEdgar E. Iglesias uint32_t ramsize, 7ec426ff8SEdgar E. Iglesias const char *initrd_filename, 8ec426ff8SEdgar E. Iglesias const char *dtb_filename, 947b43a1fSPaolo Bonzini void (*machine_cpu_reset)(MicroBlazeCPU *)); 1047b43a1fSPaolo Bonzini 11*2a6a4076SMarkus Armbruster #endif /* MICROBLAZE_BOOT_H */ 12