hw/microblaze_boot.h

   1 #ifndef __MICROBLAZE_BOOT__
   2 #define __MICROBLAZE_BOOT__
   3
   4 #include "hw.h"
   5
   6 void microblaze_load_kernel(CPUState *env, target_phys_addr_t ddr_base,
   7                             uint32_t ramsize, const char *dtb_filename,
   8                                   void (*machine_cpu_reset)(CPUState *));
   9
  10 #endif /* __MICROBLAZE_BOOT __ */