2 * Raspberry Pi emulation (c) 2012 Gregory Estrade
3 * This code is licensed under the GNU GPLv2 and later.
10 #include "exec/address-spaces.h"
11 #include "hw/arm/bcm2835_mbox.h"
13 #define TYPE_BCM2835_SBM "bcm2835_sbm"
14 #define BCM2835_SBM(obj) \
15 OBJECT_CHECK(BCM2835SbmState, (obj), TYPE_BCM2835_SBM)
18 MemoryRegion
*mbox_mr
;
20 uint32_t reg
[MBOX_SIZE
];
28 MemoryRegion
*mbox_mr
;
31 int mbox_irq_disabled
;
33 int available
[MBOX_CHAN_COUNT
];