1 /* 2 * Raspberry Pi emulation (c) 2012 Gregory Estrade 3 * 4 * This work is licensed under the terms of the GNU GPL, version 2 or later. 5 * See the COPYING file in the top-level directory. 6 */ 7 8 #ifndef BCM2835_IC_H 9 #define BCM2835_IC_H 10 11 #include "hw/sysbus.h" 12 13 #define TYPE_BCM2835_IC "bcm2835-ic" 14 #define BCM2835_IC(obj) OBJECT_CHECK(BCM2835ICState, (obj), TYPE_BCM2835_IC) 15 16 #define BCM2835_IC_GPU_IRQ "gpu-irq" 17 #define BCM2835_IC_ARM_IRQ "arm-irq" 18 19 typedef struct BCM2835ICState { 20 /*< private >*/ 21 SysBusDevice busdev; 22 /*< public >*/ 23 24 MemoryRegion iomem; 25 qemu_irq irq; 26 qemu_irq fiq; 27 28 /* 64 GPU IRQs + 8 ARM IRQs = 72 total (GPU first) */ 29 uint64_t gpu_irq_level, gpu_irq_enable; 30 uint8_t arm_irq_level, arm_irq_enable; 31 bool fiq_enable; 32 uint8_t fiq_select; 33 } BCM2835ICState; 34 35 #endif 36