12a6a4076SMarkus Armbruster #ifndef MICROBLAZE_BOOT_H 22a6a4076SMarkus Armbruster #define MICROBLAZE_BOOT_H 3d94e7434SPeter A. G. Crosthwaite 4d94e7434SPeter A. G. Crosthwaite 5*8f27e70eSPhilippe Mathieu-Daudé void microblaze_load_kernel(MicroBlazeCPU *cpu, bool is_little_endian, 6*8f27e70eSPhilippe Mathieu-Daudé hwaddr ddr_base, uint32_t ramsize, 7ec426ff8SEdgar E. Iglesias const char *initrd_filename, 8ec426ff8SEdgar E. Iglesias const char *dtb_filename, 9bf494367SAndreas Färber void (*machine_cpu_reset)(MicroBlazeCPU *)); 10d94e7434SPeter A. G. Crosthwaite 112a6a4076SMarkus Armbruster #endif /* MICROBLAZE_BOOT_H */ 12