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
 |