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)
57 /* See Linux kernel arch/arm64/include/asm/pvclock-abi.h */
58 #define PVTIME_SIZE_PER_CPU 64
91 /* indices of IO regions located after the RAM */
93 VIRT_HIGH_GIC_REDIST2
= VIRT_LOWMEMMAP_LAST
,
98 typedef enum VirtIOMMUType
{
104 typedef enum VirtMSIControllerType
{
106 VIRT_MSI_CTRL_GICV2M
,
108 } VirtMSIControllerType
;
110 typedef enum VirtGICType
{
111 VIRT_GIC_VERSION_MAX
,
112 VIRT_GIC_VERSION_HOST
,
115 VIRT_GIC_VERSION_NOSEL
,
118 struct VirtMachineClass
{
120 bool disallow_affinity_adjustment
;
123 bool claim_edge_triggered_timers
;
124 bool smbios_old_sys_ver
;
125 bool no_highmem_ecam
;
126 bool no_ged
; /* Machines < 4.2 has no support for ACPI GED device */
127 bool kvm_no_adjvtime
;
128 bool no_kvm_steal_time
;
129 bool acpi_expose_flash
;
132 struct VirtMachineState
{
134 Notifier machine_done
;
135 DeviceState
*platform_bus_dev
;
137 PFlashCFI01
*flash
[2];
146 VirtGICType gic_version
;
148 VirtMSIControllerType msi_controller
;
149 uint16_t virtio_iommu_bdf
;
150 struct arm_boot_info bootinfo
;
152 char *pciehb_nodename
;
157 uint32_t clock_phandle
;
158 uint32_t gic_phandle
;
159 uint32_t msi_phandle
;
160 uint32_t iommu_phandle
;
164 DeviceState
*acpi_dev
;
165 Notifier powerdown_notifier
;
168 #define VIRT_ECAM_ID(high) (high ? VIRT_HIGH_PCIE_ECAM : VIRT_PCIE_ECAM)
170 #define TYPE_VIRT_MACHINE MACHINE_TYPE_NAME("virt")
171 OBJECT_DECLARE_TYPE(VirtMachineState
, VirtMachineClass
, VIRT_MACHINE
)
173 void virt_acpi_setup(VirtMachineState
*vms
);
174 bool virt_is_acpi_enabled(VirtMachineState
*vms
);
176 /* Return the number of used redistributor regions */
177 static inline int virt_gicv3_redist_region_count(VirtMachineState
*vms
)
179 uint32_t redist0_capacity
=
180 vms
->memmap
[VIRT_GIC_REDIST
].size
/ GICV3_REDIST_SIZE
;
182 assert(vms
->gic_version
== VIRT_GIC_VERSION_3
);
184 return vms
->smp_cpus
> redist0_capacity
? 2 : 1;
187 #endif /* QEMU_ARM_VIRT_H */