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