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.
8 #ifndef BCM2835_PROPERTY_H
9 #define BCM2835_PROPERTY_H
11 #include "hw/sysbus.h"
13 #include "hw/display/bcm2835_fb.h"
15 #define TYPE_BCM2835_PROPERTY "bcm2835-property"
16 #define BCM2835_PROPERTY(obj) \
17 OBJECT_CHECK(BCM2835PropertyState, (obj), TYPE_BCM2835_PROPERTY)
28 BCM2835FBState
*fbdev
;
34 } BCM2835PropertyState
;