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