3 /* Definitions for mips board emulation. */
5 /* Kernels can be configured with 64KB pages */
6 #define INITRD_PAGE_MASK (~((1 << 16) - 1))
8 #include "exec/memory.h"
12 PCIBus
*gt64120_register(qemu_irq
*pic
);
15 PCIBus
*bonito_init(qemu_irq
*pic
);
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
);
22 DeviceState
*rc4030_init(rc4030_dma
**dmas
, IOMMUMemoryRegion
**dma_mr
);