| 
									
										
										
										
											2016-06-29 13:47:03 +02:00
										 |  |  | #ifndef MICROBLAZE_BOOT_H
 | 
					
						
							|  |  |  | #define MICROBLAZE_BOOT_H
 | 
					
						
							| 
									
										
										
										
											2012-03-04 21:03:51 +10:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-10-23 12:30:10 +02:00
										 |  |  | void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base, | 
					
						
							| 
									
										
										
										
											2013-05-05 11:06:37 +02:00
										 |  |  |                             uint32_t ramsize, | 
					
						
							|  |  |  |                             const char *initrd_filename, | 
					
						
							|  |  |  |                             const char *dtb_filename, | 
					
						
							| 
									
										
										
										
											2012-05-05 12:30:53 +02:00
										 |  |  |                             void (*machine_cpu_reset)(MicroBlazeCPU *)); | 
					
						
							| 
									
										
										
										
											2012-03-04 21:03:51 +10:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-06-29 13:47:03 +02:00
										 |  |  | #endif /* MICROBLAZE_BOOT_H */
 |