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"
11 PCIBus
*gt64120_register(qemu_irq
*pic
);
14 PCIBus
*bonito_init(qemu_irq
*pic
);
17 typedef struct rc4030DMAState
*rc4030_dma
;
18 void rc4030_dma_read(void *dma
, uint8_t *buf
, int len
);
19 void rc4030_dma_write(void *dma
, uint8_t *buf
, int len
);
21 DeviceState
*rc4030_init(rc4030_dma
**dmas
, IOMMUMemoryRegion
**dma_mr
);