root / hw / microblaze_boot.h @ 5414dec6
History | View | Annotate | Download (331 Bytes)
| 1 | d94e7434 | Peter A. G. Crosthwaite | #ifndef __MICROBLAZE_BOOT__
|
|---|---|---|---|
| 2 | d94e7434 | Peter A. G. Crosthwaite | #define __MICROBLAZE_BOOT__
|
| 3 | d94e7434 | Peter A. G. Crosthwaite | |
| 4 | d94e7434 | Peter A. G. Crosthwaite | #include "hw.h" |
| 5 | d94e7434 | Peter A. G. Crosthwaite | |
| 6 | bf494367 | Andreas Färber | void microblaze_load_kernel(MicroBlazeCPU *cpu, target_phys_addr_t ddr_base,
|
| 7 | d94e7434 | Peter A. G. Crosthwaite | uint32_t ramsize, const char *dtb_filename, |
| 8 | bf494367 | Andreas Färber | void (*machine_cpu_reset)(MicroBlazeCPU *));
|
| 9 | d94e7434 | Peter A. G. Crosthwaite | |
| 10 | d94e7434 | Peter A. G. Crosthwaite | #endif /* __MICROBLAZE_BOOT __ */ |