]>
Commit | Line | Data |
---|---|---|
d94e7434 PC |
1 | #ifndef __MICROBLAZE_BOOT__ |
2 | #define __MICROBLAZE_BOOT__ | |
3 | ||
4 | #include "hw.h" | |
5 | ||
a8170e5e | 6 | void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base, |
d94e7434 | 7 | uint32_t ramsize, const char *dtb_filename, |
bf494367 | 8 | void (*machine_cpu_reset)(MicroBlazeCPU *)); |
d94e7434 PC |
9 | |
10 | #endif /* __MICROBLAZE_BOOT __ */ |