Statistics
| Branch: | Revision:

root / hw / microblaze_boot.h @ 60e1b2a6

History | View | Annotate | Download (327 Bytes)

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 __ */