2007-11-17 20:14:51 +03:00
|
|
|
#ifndef HW_MIPS_H
|
|
|
|
#define HW_MIPS_H
|
|
|
|
/* Definitions for mips board emulation. */
|
|
|
|
|
2013-06-27 11:35:27 +04:00
|
|
|
/* Kernels can be configured with 64KB pages */
|
|
|
|
#define INITRD_PAGE_MASK (~((1 << 16) - 1))
|
|
|
|
|
2012-12-17 21:19:49 +04:00
|
|
|
#include "exec/memory.h"
|
2017-05-09 02:39:12 +03:00
|
|
|
#include "hw/irq.h"
|
2011-10-06 18:34:39 +04:00
|
|
|
|
2007-11-17 20:14:51 +03:00
|
|
|
/* gt64xxx.c */
|
2011-01-20 01:10:40 +03:00
|
|
|
PCIBus *gt64120_register(qemu_irq *pic);
|
2007-11-17 20:14:51 +03:00
|
|
|
|
2010-06-29 06:48:55 +04:00
|
|
|
/* bonito.c */
|
|
|
|
PCIBus *bonito_init(qemu_irq *pic);
|
|
|
|
|
2008-04-07 23:47:14 +04:00
|
|
|
/* rc4030.c */
|
2009-01-01 16:03:36 +03:00
|
|
|
typedef struct rc4030DMAState *rc4030_dma;
|
2009-04-11 01:26:55 +04:00
|
|
|
void rc4030_dma_read(void *dma, uint8_t *buf, int len);
|
|
|
|
void rc4030_dma_write(void *dma, uint8_t *buf, int len);
|
|
|
|
|
2017-07-11 06:56:19 +03:00
|
|
|
DeviceState *rc4030_init(rc4030_dma **dmas, IOMMUMemoryRegion **dma_mr);
|
2008-04-07 23:47:14 +04:00
|
|
|
|
2007-11-17 20:14:51 +03:00
|
|
|
#endif
|