| 1 | #ifndef MICROBLAZE_BOOT_H |
| 2 | #define MICROBLAZE_BOOT_H |
| 3 | |
| 4 | |
| 5 | void microblaze_load_kernel(MicroBlazeCPU *cpu, bool is_little_endian, |
| 6 | hwaddr ddr_base, 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 */ |