1 #ifndef HW_MIPS_H 2 #define HW_MIPS_H 3 /* Definitions for mips board emulation. */ 4 5 /* Kernels can be configured with 64KB pages */ 6 #define INITRD_PAGE_MASK (~((1 << 16) - 1)) 7 8 #include "exec/memory.h" 9 #include "hw/irq.h" 10 11 /* gt64xxx.c */ 12 PCIBus *gt64120_register(qemu_irq *pic); 13 14 /* bonito.c */ 15 PCIBus *bonito_init(qemu_irq *pic); 16 17 /* rc4030.c */ 18 typedef struct rc4030DMAState *rc4030_dma; 19 void rc4030_dma_read(void *dma, uint8_t *buf, int len); 20 void rc4030_dma_write(void *dma, uint8_t *buf, int len); 21 22 DeviceState *rc4030_init(rc4030_dma **dmas, IOMMUMemoryRegion **dma_mr); 23 24 #endif 25