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"
40 #include "qom/object.h"
42 #define NUM_GICV2M_SPIS 64
43 #define NUM_VIRTIO_TRANSPORTS 32
44 #define NUM_SMMU_IRQS 4
46 #define ARCH_GIC_MAINT_IRQ 9
48 #define ARCH_TIMER_VIRT_IRQ 11
49 #define ARCH_TIMER_S_EL1_IRQ 13
50 #define ARCH_TIMER_NS_EL1_IRQ 14
51 #define ARCH_TIMER_NS_EL2_IRQ 10
53 #define VIRTUAL_PMU_IRQ 7
55 #define PPI(irq) ((irq) + 16)
87 /* indices of IO regions located after the RAM */
89 VIRT_HIGH_GIC_REDIST2
= VIRT_LOWMEMMAP_LAST
,
94 typedef enum VirtIOMMUType
{
100 typedef enum VirtMSIControllerType
{
102 VIRT_MSI_CTRL_GICV2M
,
104 } VirtMSIControllerType
;
106 typedef enum VirtGICType
{
107 VIRT_GIC_VERSION_MAX
,
108 VIRT_GIC_VERSION_HOST
,
111 VIRT_GIC_VERSION_NOSEL
,
114 typedef struct MemMapEntry
{
119 struct VirtMachineClass
{
121 bool disallow_affinity_adjustment
;
124 bool claim_edge_triggered_timers
;
125 bool smbios_old_sys_ver
;
126 bool no_highmem_ecam
;
127 bool no_ged
; /* Machines < 4.2 has no support for ACPI GED device */
128 bool kvm_no_adjvtime
;
129 bool acpi_expose_flash
;
131 typedef struct VirtMachineClass VirtMachineClass
;
133 struct VirtMachineState
{
135 Notifier machine_done
;
136 DeviceState
*platform_bus_dev
;
138 PFlashCFI01
*flash
[2];
147 VirtGICType gic_version
;
149 VirtMSIControllerType msi_controller
;
150 uint16_t virtio_iommu_bdf
;
151 struct arm_boot_info bootinfo
;
153 char *pciehb_nodename
;
158 uint32_t clock_phandle
;
159 uint32_t gic_phandle
;
160 uint32_t msi_phandle
;
161 uint32_t iommu_phandle
;
165 DeviceState
*acpi_dev
;
166 Notifier powerdown_notifier
;
168 typedef struct VirtMachineState VirtMachineState
;
170 #define VIRT_ECAM_ID(high) (high ? VIRT_HIGH_PCIE_ECAM : VIRT_PCIE_ECAM)
172 #define TYPE_VIRT_MACHINE MACHINE_TYPE_NAME("virt")
173 DECLARE_OBJ_CHECKERS(VirtMachineState
, VirtMachineClass
,
174 VIRT_MACHINE
, TYPE_VIRT_MACHINE
)
176 void virt_acpi_setup(VirtMachineState
*vms
);
177 bool virt_is_acpi_enabled(VirtMachineState
*vms
);
179 /* Return the number of used redistributor regions */
180 static inline int virt_gicv3_redist_region_count(VirtMachineState
*vms
)
182 uint32_t redist0_capacity
=
183 vms
->memmap
[VIRT_GIC_REDIST
].size
/ GICV3_REDIST_SIZE
;
185 assert(vms
->gic_version
== VIRT_GIC_VERSION_3
);
187 return vms
->smp_cpus
> redist0_capacity
? 2 : 1;
190 #endif /* QEMU_ARM_VIRT_H */