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