2 * Raspberry Pi emulation (c) 2012 Gregory Estrade
3 * Upstreaming code cleanup [including bcm2835_*] (c) 2013 Jan Petrous
5 * Rasperry Pi 2 emulation and refactoring Copyright (c) 2015, Microsoft
6 * Written by Andrew Baumann
8 * This code is licensed under the GNU GPLv2 and later.
14 #include "hw/arm/arm.h"
15 #include "hw/arm/bcm2835_peripherals.h"
16 #include "hw/intc/bcm2836_control.h"
18 #define TYPE_BCM2836 "bcm2836"
19 #define BCM2836(obj) OBJECT_CHECK(BCM2836State, (obj), TYPE_BCM2836)
21 #define BCM2836_NCPUS 4
23 typedef struct BCM2836State {
25 DeviceState parent_obj;
28 uint32_t enabled_cpus;
30 ARMCPU cpus[BCM2836_NCPUS];
31 BCM2836ControlState control;
32 BCM2835PeripheralState peripherals;
35 #endif /* BCM2836_H */