root / hw / microblaze_boot.h @ 7830cf78
History | View | Annotate | Download (319 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 | a8170e5e | Avi Kivity | void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr 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 __ */ |