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