hw/microblaze/boot.h

   1 #ifndef __MICROBLAZE_BOOT__
   2 #define __MICROBLAZE_BOOT__
   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 __ */