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 #include "qom/object.h" 13 14 #define TYPE_BCM2835_IC "bcm2835-ic" 15 OBJECT_DECLARE_SIMPLE_TYPE(BCM2835ICState, BCM2835_IC) 16 17 #define BCM2835_IC_GPU_IRQ "gpu-irq" 18 #define BCM2835_IC_ARM_IRQ "arm-irq" 19 20 struct BCM2835ICState { 21 /*< private >*/ 22 SysBusDevice busdev; 23 /*< public >*/ 24 25 MemoryRegion iomem; 26 qemu_irq irq; 27 qemu_irq fiq; 28 29 /* 64 GPU IRQs + 8 ARM IRQs = 72 total (GPU first) */ 30 uint64_t gpu_irq_level, gpu_irq_enable; 31 uint8_t arm_irq_level, arm_irq_enable; 32 bool fiq_enable; 33 uint8_t fiq_select; 34 }; 35 36 #endif 37