2 * Raspberry Pi emulation (c) 2012 Gregory Estrade
3 * This code is licensed under the GNU GPLv2 and later.
9 #include "bcm2835_mbox_defs.h"
10 #include "hw/sysbus.h"
11 #include "exec/address-spaces.h"
14 #define TYPE_BCM2835_MBOX "bcm2835_mbox"
16 #define TYPE_BCM2835_MBOX "bcm2835-mbox"
17 >>>>>>> upstreaming-raspi
18 #define BCM2835_MBOX(obj) \
19 OBJECT_CHECK(BCM2835MboxState, (obj), TYPE_BCM2835_MBOX)
22 uint32_t reg[MBOX_SIZE];
32 MemoryRegion *mbox_mr;
36 bool mbox_irq_disabled;
40 bool mbox_irq_disabled;
41 >>>>>>> upstreaming-raspi
42 bool available[MBOX_CHAN_COUNT];