include/hw/intc/bcm2835_ic.h

   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