hw/microblaze/boot.h

   1 #ifndef MICROBLAZE_BOOT_H
   2 #define MICROBLAZE_BOOT_H
   3
   4
   5 void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base,
   6                             uint32_t ramsize,
   7                             const char *initrd_filename,
   8                             const char *dtb_filename,
   9                             void (*machine_cpu_reset)(MicroBlazeCPU *));
  10
  11 #endif /* MICROBLAZE_BOOT_H */