3 * Copyright (c) 2015 Linaro Limited
5 * This program is free software; you can redistribute it and/or modify it
6 * under the terms and conditions of the GNU General Public License,
7 * version 2 or later, as published by the Free Software Foundation.
9 * This program is distributed in the hope it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
14 * You should have received a copy of the GNU General Public License along with
15 * this program. If not, see <http://www.gnu.org/licenses/>.
17 * Emulate a virtual board which works by passing Linux all the information
18 * it needs about what devices are present via the device tree.
19 * There are some restrictions about what we can do here:
20 * + we can only present devices whose Linux drivers will work based
21 * purely on the device tree with no platform data at all
22 * + we want to present a very stripped-down minimalist platform,
23 * both because this reduces the security attack surface from the guest
24 * and also because it reduces our exposure to being broken when
25 * the kernel updates its device tree bindings and requires further
26 * information in a device binding that we aren't providing.
27 * This is essentially the same approach kvmtool uses.
30 #ifndef QEMU_ARM_VIRT_H
31 #define QEMU_ARM_VIRT_H
33 #include "exec/hwaddr.h"
34 #include "qemu/notify.h"
35 #include "hw/boards.h"
36 #include "hw/arm/boot.h"
37 #include "hw/block/flash.h"
38 #include "sysemu/kvm.h"
39 #include "hw/intc/arm_gicv3_common.h"
41 #define NUM_GICV2M_SPIS 64
42 #define NUM_VIRTIO_TRANSPORTS 32
43 #define NUM_SMMU_IRQS 4
45 #define ARCH_GIC_MAINT_IRQ 9
47 #define ARCH_TIMER_VIRT_IRQ 11
48 #define ARCH_TIMER_S_EL1_IRQ 13
49 #define ARCH_TIMER_NS_EL1_IRQ 14
50 #define ARCH_TIMER_NS_EL2_IRQ 10
52 #define VIRTUAL_PMU_IRQ 7
54 #define PPI(irq) ((irq) + 16)
86 /* indices of IO regions located after the RAM */
88 VIRT_HIGH_GIC_REDIST2
= VIRT_LOWMEMMAP_LAST
,
93 typedef enum VirtIOMMUType
{
99 typedef enum VirtGICType
{
100 VIRT_GIC_VERSION_MAX
,
101 VIRT_GIC_VERSION_HOST
,
104 VIRT_GIC_VERSION_NOSEL
,
107 typedef struct MemMapEntry
{
114 bool disallow_affinity_adjustment
;
117 bool claim_edge_triggered_timers
;
118 bool smbios_old_sys_ver
;
119 bool no_highmem_ecam
;
120 bool no_ged
; /* Machines < 4.2 has no support for ACPI GED device */
121 bool kvm_no_adjvtime
;
126 Notifier machine_done
;
127 DeviceState
*platform_bus_dev
;
129 PFlashCFI01
*flash
[2];
137 VirtGICType gic_version
;
139 uint16_t virtio_iommu_bdf
;
140 struct arm_boot_info bootinfo
;
142 char *pciehb_nodename
;
147 uint32_t clock_phandle
;
148 uint32_t gic_phandle
;
149 uint32_t msi_phandle
;
150 uint32_t iommu_phandle
;
154 DeviceState
*acpi_dev
;
155 Notifier powerdown_notifier
;
158 #define VIRT_ECAM_ID(high) (high ? VIRT_HIGH_PCIE_ECAM : VIRT_PCIE_ECAM)
160 #define TYPE_VIRT_MACHINE MACHINE_TYPE_NAME("virt")
161 #define VIRT_MACHINE(obj) \
162 OBJECT_CHECK(VirtMachineState, (obj), TYPE_VIRT_MACHINE)
163 #define VIRT_MACHINE_GET_CLASS(obj) \
164 OBJECT_GET_CLASS(VirtMachineClass, obj, TYPE_VIRT_MACHINE)
165 #define VIRT_MACHINE_CLASS(klass) \
166 OBJECT_CLASS_CHECK(VirtMachineClass, klass, TYPE_VIRT_MACHINE)
168 void virt_acpi_setup(VirtMachineState
*vms
);
169 bool virt_is_acpi_enabled(VirtMachineState
*vms
);
171 /* Return the number of used redistributor regions */
172 static inline int virt_gicv3_redist_region_count(VirtMachineState
*vms
)
174 uint32_t redist0_capacity
=
175 vms
->memmap
[VIRT_GIC_REDIST
].size
/ GICV3_REDIST_SIZE
;
177 assert(vms
->gic_version
== VIRT_GIC_VERSION_3
);
179 return vms
->smp_cpus
> redist0_capacity
? 2 : 1;
182 #endif /* QEMU_ARM_VIRT_H */