1 #ifndef NIOS2_BOOT_H 2 #define NIOS2_BOOT_H 3 4 #include "hw/hw.h" 5 #include "cpu.h" 6 7 void nios2_load_kernel(Nios2CPU *cpu, hwaddr ddr_base, uint32_t ramsize, 8 const char *initrd_filename, const char *dtb_filename, 9 void (*machine_cpu_reset)(Nios2CPU *)); 10 11 #endif /* NIOS2_BOOT_H */ 12