| 
									
										
										
										
											2007-11-17 17:14:51 +00:00
										 |  |  | #ifndef HW_MIPS_H
 | 
					
						
							|  |  |  | #define HW_MIPS_H
 | 
					
						
							|  |  |  | /* Definitions for mips board emulation.  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-09-27 13:18:17 +02:00
										 |  |  | #include "qemu/units.h"
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-06-27 08:35:27 +01:00
										 |  |  | /* Kernels can be configured with 64KB pages */ | 
					
						
							| 
									
										
										
										
											2020-09-27 13:18:17 +02:00
										 |  |  | #define INITRD_PAGE_SIZE (64 * KiB)
 | 
					
						
							| 
									
										
										
										
											2013-06-27 08:35:27 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-12-17 18:19:49 +01:00
										 |  |  | #include "exec/memory.h"
 | 
					
						
							| 
									
										
										
										
											2011-10-06 16:34:39 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2010-06-29 10:48:55 +08:00
										 |  |  | /* bonito.c */ | 
					
						
							|  |  |  | PCIBus *bonito_init(qemu_irq *pic); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-04-07 19:47:14 +00:00
										 |  |  | /* rc4030.c */ | 
					
						
							| 
									
										
										
										
											2009-01-01 13:03:36 +00:00
										 |  |  | typedef struct rc4030DMAState *rc4030_dma; | 
					
						
							| 
									
										
										
										
											2009-04-10 21:26:55 +00:00
										 |  |  | void rc4030_dma_read(void *dma, uint8_t *buf, int len); | 
					
						
							|  |  |  | void rc4030_dma_write(void *dma, uint8_t *buf, int len); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-07-11 13:56:19 +10:00
										 |  |  | DeviceState *rc4030_init(rc4030_dma **dmas, IOMMUMemoryRegion **dma_mr); | 
					
						
							| 
									
										
										
										
											2008-04-07 19:47:14 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-11-17 17:14:51 +00:00
										 |  |  | #endif
 |