hw/microblaze/boot.h

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