2 * Raspberry Pi emulation (c) 2012 Gregory Estrade
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.
11 #include "bcm2835_mbox_defs.h"
12 #include "hw/sysbus.h"
14 #define TYPE_BCM2835_MBOX "bcm2835-mbox"
15 #define BCM2835_MBOX(obj) \
16 OBJECT_CHECK(BCM2835MboxState, (obj), TYPE_BCM2835_MBOX)
19 uint32_t reg
[MBOX_SIZE
];
29 MemoryRegion
*mbox_mr
;
34 bool mbox_irq_disabled
;
35 bool available
[MBOX_CHAN_COUNT
];