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_PROPERTY_H
9 #define BCM2835_PROPERTY_H
10 
11 #include "hw/sysbus.h"
12 #include "net/net.h"
13 #include "hw/display/bcm2835_fb.h"
14 
15 #define TYPE_BCM2835_PROPERTY "bcm2835-property"
16 #define BCM2835_PROPERTY(obj) \
17         OBJECT_CHECK(BCM2835PropertyState, (obj), TYPE_BCM2835_PROPERTY)
18 
19 typedef struct {
20     /*< private >*/
21     SysBusDevice busdev;
22     /*< public >*/
23 
24     MemoryRegion *dma_mr;
25     AddressSpace dma_as;
26     MemoryRegion iomem;
27     qemu_irq mbox_irq;
28     BCM2835FBState *fbdev;
29 
30     MACAddr macaddr;
31     uint32_t board_rev;
32     uint32_t addr;
33     bool pending;
34 } BCM2835PropertyState;
35 
36 #endif
37