2 * Raspberry Pi emulation (c) 2012 Gregory Estrade
3 * This code is licensed under the GNU GPLv2 and later.
11 #define TYPE_BCM2835_IC "bcm2835-ic"
12 #define BCM2835_IC(obj) OBJECT_CHECK(BCM2835ICState, (obj), TYPE_BCM2835_IC)
14 #define BCM2835_IC_GPU_IRQ "gpu-irq"
15 #define BCM2835_IC_ARM_IRQ "arm-irq"
17 typedef struct BCM2835ICState
{
26 /* 64 GPU IRQs + 8 ARM IRQs = 72 total (GPU first) */
27 uint64_t gpu_irq_level
, gpu_irq_enable
;
28 uint8_t arm_irq_level
, arm_irq_enable
;