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