The Linux kernel can be configured to use 64KB pages, but it also requires initrd to be page aligned. Therefore, to be safe, align the initrd to 64KB using a new INITRD_PAGE_MASK rather than TARGET_PAGE_MASK. Signed-off-by: James Hogan <james.hogan@imgtec.com> Signed-off-by: Leon Alrae <leon.alrae@imgtec.com> Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
		
			
				
	
	
		
			33 lines
		
	
	
		
			1004 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			33 lines
		
	
	
		
			1004 B
		
	
	
	
		
			C
		
	
	
	
	
	
| #ifndef HW_MIPS_H
 | |
| #define HW_MIPS_H
 | |
| /* Definitions for mips board emulation.  */
 | |
| 
 | |
| /* Kernels can be configured with 64KB pages */
 | |
| #define INITRD_PAGE_MASK (~((1 << 16) - 1))
 | |
| 
 | |
| #include "exec/memory.h"
 | |
| 
 | |
| /* gt64xxx.c */
 | |
| PCIBus *gt64120_register(qemu_irq *pic);
 | |
| 
 | |
| /* bonito.c */
 | |
| PCIBus *bonito_init(qemu_irq *pic);
 | |
| 
 | |
| /* rc4030.c */
 | |
| typedef struct rc4030DMAState *rc4030_dma;
 | |
| void rc4030_dma_memory_rw(void *opaque, hwaddr addr, uint8_t *buf, int len, int is_write);
 | |
| void rc4030_dma_read(void *dma, uint8_t *buf, int len);
 | |
| void rc4030_dma_write(void *dma, uint8_t *buf, int len);
 | |
| 
 | |
| void *rc4030_init(qemu_irq timer, qemu_irq jazz_bus,
 | |
|                   qemu_irq **irqs, rc4030_dma **dmas,
 | |
|                   MemoryRegion *sysmem);
 | |
| 
 | |
| /* dp8393x.c */
 | |
| void dp83932_init(NICInfo *nd, hwaddr base, int it_shift,
 | |
|                   MemoryRegion *address_space,
 | |
|                   qemu_irq irq, void* mem_opaque,
 | |
|                   void (*memory_rw)(void *opaque, hwaddr addr, uint8_t *buf, int len, int is_write));
 | |
| 
 | |
| #endif
 |