xref: /openbmc/linux/arch/arm64/include/uapi/asm/kvm.h (revision 3fe17e68)
154f81d0eSMarc Zyngier /*
254f81d0eSMarc Zyngier  * Copyright (C) 2012,2013 - ARM Ltd
354f81d0eSMarc Zyngier  * Author: Marc Zyngier <marc.zyngier@arm.com>
454f81d0eSMarc Zyngier  *
554f81d0eSMarc Zyngier  * Derived from arch/arm/include/uapi/asm/kvm.h:
654f81d0eSMarc Zyngier  * Copyright (C) 2012 - Virtual Open Systems and Columbia University
754f81d0eSMarc Zyngier  * Author: Christoffer Dall <c.dall@virtualopensystems.com>
854f81d0eSMarc Zyngier  *
954f81d0eSMarc Zyngier  * This program is free software; you can redistribute it and/or modify
1054f81d0eSMarc Zyngier  * it under the terms of the GNU General Public License version 2 as
1154f81d0eSMarc Zyngier  * published by the Free Software Foundation.
1254f81d0eSMarc Zyngier  *
1354f81d0eSMarc Zyngier  * This program is distributed in the hope that it will be useful,
1454f81d0eSMarc Zyngier  * but WITHOUT ANY WARRANTY; without even the implied warranty of
1554f81d0eSMarc Zyngier  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
1654f81d0eSMarc Zyngier  * GNU General Public License for more details.
1754f81d0eSMarc Zyngier  *
1854f81d0eSMarc Zyngier  * You should have received a copy of the GNU General Public License
1954f81d0eSMarc Zyngier  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
2054f81d0eSMarc Zyngier  */
2154f81d0eSMarc Zyngier 
2254f81d0eSMarc Zyngier #ifndef __ARM_KVM_H__
2354f81d0eSMarc Zyngier #define __ARM_KVM_H__
2454f81d0eSMarc Zyngier 
2554f81d0eSMarc Zyngier #define KVM_SPSR_EL1	0
2640033a61SMarc Zyngier #define KVM_SPSR_SVC	KVM_SPSR_EL1
2740033a61SMarc Zyngier #define KVM_SPSR_ABT	1
2840033a61SMarc Zyngier #define KVM_SPSR_UND	2
2940033a61SMarc Zyngier #define KVM_SPSR_IRQ	3
3040033a61SMarc Zyngier #define KVM_SPSR_FIQ	4
3140033a61SMarc Zyngier #define KVM_NR_SPSR	5
3254f81d0eSMarc Zyngier 
3354f81d0eSMarc Zyngier #ifndef __ASSEMBLY__
347d0f84aaSAnup Patel #include <linux/psci.h>
35d1927915SArnd Bergmann #include <linux/types.h>
3654f81d0eSMarc Zyngier #include <asm/ptrace.h>
3754f81d0eSMarc Zyngier 
3854f81d0eSMarc Zyngier #define __KVM_HAVE_GUEST_DEBUG
3954f81d0eSMarc Zyngier #define __KVM_HAVE_IRQ_LINE
4098047888SChristoffer Dall #define __KVM_HAVE_READONLY_MEM
4154f81d0eSMarc Zyngier 
4254f81d0eSMarc Zyngier #define KVM_REG_SIZE(id)						\
4354f81d0eSMarc Zyngier 	(1U << (((id) & KVM_REG_SIZE_MASK) >> KVM_REG_SIZE_SHIFT))
4454f81d0eSMarc Zyngier 
4554f81d0eSMarc Zyngier struct kvm_regs {
4654f81d0eSMarc Zyngier 	struct user_pt_regs regs;	/* sp = sp_el0 */
4754f81d0eSMarc Zyngier 
4854f81d0eSMarc Zyngier 	__u64	sp_el1;
4954f81d0eSMarc Zyngier 	__u64	elr_el1;
5054f81d0eSMarc Zyngier 
5154f81d0eSMarc Zyngier 	__u64	spsr[KVM_NR_SPSR];
5254f81d0eSMarc Zyngier 
5354f81d0eSMarc Zyngier 	struct user_fpsimd_state fp_regs;
5454f81d0eSMarc Zyngier };
5554f81d0eSMarc Zyngier 
56bca556acSSuzuki K. Poulose /*
57bca556acSSuzuki K. Poulose  * Supported CPU Targets - Adding a new target type is not recommended,
58bca556acSSuzuki K. Poulose  * unless there are some special registers not supported by the
59bca556acSSuzuki K. Poulose  * genericv8 syreg table.
60bca556acSSuzuki K. Poulose  */
6154f81d0eSMarc Zyngier #define KVM_ARM_TARGET_AEM_V8		0
6254f81d0eSMarc Zyngier #define KVM_ARM_TARGET_FOUNDATION_V8	1
6354f81d0eSMarc Zyngier #define KVM_ARM_TARGET_CORTEX_A57	2
64e28100bdSAnup Patel #define KVM_ARM_TARGET_XGENE_POTENZA	3
651252b331SMarc Zyngier #define KVM_ARM_TARGET_CORTEX_A53	4
66bca556acSSuzuki K. Poulose /* Generic ARM v8 target */
67bca556acSSuzuki K. Poulose #define KVM_ARM_TARGET_GENERIC_V8	5
6854f81d0eSMarc Zyngier 
69bca556acSSuzuki K. Poulose #define KVM_ARM_NUM_TARGETS		6
7054f81d0eSMarc Zyngier 
7154f81d0eSMarc Zyngier /* KVM_ARM_SET_DEVICE_ADDR ioctl id encoding */
7254f81d0eSMarc Zyngier #define KVM_ARM_DEVICE_TYPE_SHIFT	0
7354f81d0eSMarc Zyngier #define KVM_ARM_DEVICE_TYPE_MASK	(0xffff << KVM_ARM_DEVICE_TYPE_SHIFT)
7454f81d0eSMarc Zyngier #define KVM_ARM_DEVICE_ID_SHIFT		16
7554f81d0eSMarc Zyngier #define KVM_ARM_DEVICE_ID_MASK		(0xffff << KVM_ARM_DEVICE_ID_SHIFT)
7654f81d0eSMarc Zyngier 
7754f81d0eSMarc Zyngier /* Supported device IDs */
7854f81d0eSMarc Zyngier #define KVM_ARM_DEVICE_VGIC_V2		0
7954f81d0eSMarc Zyngier 
8054f81d0eSMarc Zyngier /* Supported VGIC address types  */
8154f81d0eSMarc Zyngier #define KVM_VGIC_V2_ADDR_TYPE_DIST	0
8254f81d0eSMarc Zyngier #define KVM_VGIC_V2_ADDR_TYPE_CPU	1
8354f81d0eSMarc Zyngier 
8454f81d0eSMarc Zyngier #define KVM_VGIC_V2_DIST_SIZE		0x1000
8554f81d0eSMarc Zyngier #define KVM_VGIC_V2_CPU_SIZE		0x2000
8654f81d0eSMarc Zyngier 
87ac3d3735SAndre Przywara /* Supported VGICv3 address types  */
88ac3d3735SAndre Przywara #define KVM_VGIC_V3_ADDR_TYPE_DIST	2
89ac3d3735SAndre Przywara #define KVM_VGIC_V3_ADDR_TYPE_REDIST	3
901085fdc6SAndre Przywara #define KVM_VGIC_ITS_ADDR_TYPE		4
91ac3d3735SAndre Przywara 
92ac3d3735SAndre Przywara #define KVM_VGIC_V3_DIST_SIZE		SZ_64K
93ac3d3735SAndre Przywara #define KVM_VGIC_V3_REDIST_SIZE		(2 * SZ_64K)
941085fdc6SAndre Przywara #define KVM_VGIC_V3_ITS_SIZE		(2 * SZ_64K)
95ac3d3735SAndre Przywara 
96dcd2e40cSMarc Zyngier #define KVM_ARM_VCPU_POWER_OFF		0 /* CPU is started in OFF state */
970d854a60SMarc Zyngier #define KVM_ARM_VCPU_EL1_32BIT		1 /* CPU running a 32bit VM */
987d0f84aaSAnup Patel #define KVM_ARM_VCPU_PSCI_0_2		2 /* CPU uses PSCI v0.2 */
99808e7381SShannon Zhao #define KVM_ARM_VCPU_PMU_V3		3 /* Support guest PMUv3 */
100dcd2e40cSMarc Zyngier 
10154f81d0eSMarc Zyngier struct kvm_vcpu_init {
10254f81d0eSMarc Zyngier 	__u32 target;
10354f81d0eSMarc Zyngier 	__u32 features[7];
10454f81d0eSMarc Zyngier };
10554f81d0eSMarc Zyngier 
10654f81d0eSMarc Zyngier struct kvm_sregs {
10754f81d0eSMarc Zyngier };
10854f81d0eSMarc Zyngier 
10954f81d0eSMarc Zyngier struct kvm_fpu {
11054f81d0eSMarc Zyngier };
11154f81d0eSMarc Zyngier 
11221b6f32fSAlex Bennée /*
11321b6f32fSAlex Bennée  * See v8 ARM ARM D7.3: Debug Registers
11421b6f32fSAlex Bennée  *
11521b6f32fSAlex Bennée  * The architectural limit is 16 debug registers of each type although
11621b6f32fSAlex Bennée  * in practice there are usually less (see ID_AA64DFR0_EL1).
11721b6f32fSAlex Bennée  *
11821b6f32fSAlex Bennée  * Although the control registers are architecturally defined as 32
11921b6f32fSAlex Bennée  * bits wide we use a 64 bit structure here to keep parity with
12021b6f32fSAlex Bennée  * KVM_GET/SET_ONE_REG behaviour which treats all system registers as
12121b6f32fSAlex Bennée  * 64 bit values. It also allows for the possibility of the
12221b6f32fSAlex Bennée  * architecture expanding the control registers without having to
12321b6f32fSAlex Bennée  * change the userspace ABI.
12421b6f32fSAlex Bennée  */
12521b6f32fSAlex Bennée #define KVM_ARM_MAX_DBG_REGS 16
12654f81d0eSMarc Zyngier struct kvm_guest_debug_arch {
12721b6f32fSAlex Bennée 	__u64 dbg_bcr[KVM_ARM_MAX_DBG_REGS];
12821b6f32fSAlex Bennée 	__u64 dbg_bvr[KVM_ARM_MAX_DBG_REGS];
12921b6f32fSAlex Bennée 	__u64 dbg_wcr[KVM_ARM_MAX_DBG_REGS];
13021b6f32fSAlex Bennée 	__u64 dbg_wvr[KVM_ARM_MAX_DBG_REGS];
13154f81d0eSMarc Zyngier };
13254f81d0eSMarc Zyngier 
13354f81d0eSMarc Zyngier struct kvm_debug_exit_arch {
13421b6f32fSAlex Bennée 	__u32 hsr;
13521b6f32fSAlex Bennée 	__u64 far;	/* used for watchpoints */
13654f81d0eSMarc Zyngier };
13754f81d0eSMarc Zyngier 
13821b6f32fSAlex Bennée /*
13921b6f32fSAlex Bennée  * Architecture specific defines for kvm_guest_debug->control
14021b6f32fSAlex Bennée  */
14121b6f32fSAlex Bennée 
14221b6f32fSAlex Bennée #define KVM_GUESTDBG_USE_SW_BP		(1 << 16)
14321b6f32fSAlex Bennée #define KVM_GUESTDBG_USE_HW		(1 << 17)
14421b6f32fSAlex Bennée 
14554f81d0eSMarc Zyngier struct kvm_sync_regs {
1463fe17e68SAlexander Graf 	/* Used with KVM_CAP_ARM_USER_IRQ */
1473fe17e68SAlexander Graf 	__u64 device_irq_level;
14854f81d0eSMarc Zyngier };
14954f81d0eSMarc Zyngier 
15054f81d0eSMarc Zyngier struct kvm_arch_memory_slot {
15154f81d0eSMarc Zyngier };
15254f81d0eSMarc Zyngier 
1537c8c5e6aSMarc Zyngier /* If you need to interpret the index values, here is the key: */
1547c8c5e6aSMarc Zyngier #define KVM_REG_ARM_COPROC_MASK		0x000000000FFF0000
1557c8c5e6aSMarc Zyngier #define KVM_REG_ARM_COPROC_SHIFT	16
1567c8c5e6aSMarc Zyngier 
1577c8c5e6aSMarc Zyngier /* Normal registers are mapped as coprocessor 16. */
1587c8c5e6aSMarc Zyngier #define KVM_REG_ARM_CORE		(0x0010 << KVM_REG_ARM_COPROC_SHIFT)
1597c8c5e6aSMarc Zyngier #define KVM_REG_ARM_CORE_REG(name)	(offsetof(struct kvm_regs, name) / sizeof(__u32))
1607c8c5e6aSMarc Zyngier 
1617c8c5e6aSMarc Zyngier /* Some registers need more space to represent values. */
1627c8c5e6aSMarc Zyngier #define KVM_REG_ARM_DEMUX		(0x0011 << KVM_REG_ARM_COPROC_SHIFT)
1637c8c5e6aSMarc Zyngier #define KVM_REG_ARM_DEMUX_ID_MASK	0x000000000000FF00
1647c8c5e6aSMarc Zyngier #define KVM_REG_ARM_DEMUX_ID_SHIFT	8
1657c8c5e6aSMarc Zyngier #define KVM_REG_ARM_DEMUX_ID_CCSIDR	(0x00 << KVM_REG_ARM_DEMUX_ID_SHIFT)
1667c8c5e6aSMarc Zyngier #define KVM_REG_ARM_DEMUX_VAL_MASK	0x00000000000000FF
1677c8c5e6aSMarc Zyngier #define KVM_REG_ARM_DEMUX_VAL_SHIFT	0
1687c8c5e6aSMarc Zyngier 
1697c8c5e6aSMarc Zyngier /* AArch64 system registers */
1707c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG		(0x0013 << KVM_REG_ARM_COPROC_SHIFT)
1717c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_OP0_MASK	0x000000000000c000
1727c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_OP0_SHIFT	14
1737c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_OP1_MASK	0x0000000000003800
1747c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_OP1_SHIFT	11
1757c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_CRN_MASK	0x0000000000000780
1767c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_CRN_SHIFT	7
1777c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_CRM_MASK	0x0000000000000078
1787c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_CRM_SHIFT	3
1797c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_OP2_MASK	0x0000000000000007
1807c8c5e6aSMarc Zyngier #define KVM_REG_ARM64_SYSREG_OP2_SHIFT	0
1817c8c5e6aSMarc Zyngier 
18239735a3aSAndre Przywara #define ARM64_SYS_REG_SHIFT_MASK(x,n) \
18339735a3aSAndre Przywara 	(((x) << KVM_REG_ARM64_SYSREG_ ## n ## _SHIFT) & \
18439735a3aSAndre Przywara 	KVM_REG_ARM64_SYSREG_ ## n ## _MASK)
18539735a3aSAndre Przywara 
18639735a3aSAndre Przywara #define __ARM64_SYS_REG(op0,op1,crn,crm,op2) \
18739735a3aSAndre Przywara 	(KVM_REG_ARM64 | KVM_REG_ARM64_SYSREG | \
18839735a3aSAndre Przywara 	ARM64_SYS_REG_SHIFT_MASK(op0, OP0) | \
18939735a3aSAndre Przywara 	ARM64_SYS_REG_SHIFT_MASK(op1, OP1) | \
19039735a3aSAndre Przywara 	ARM64_SYS_REG_SHIFT_MASK(crn, CRN) | \
19139735a3aSAndre Przywara 	ARM64_SYS_REG_SHIFT_MASK(crm, CRM) | \
19239735a3aSAndre Przywara 	ARM64_SYS_REG_SHIFT_MASK(op2, OP2))
19339735a3aSAndre Przywara 
19439735a3aSAndre Przywara #define ARM64_SYS_REG(...) (__ARM64_SYS_REG(__VA_ARGS__) | KVM_REG_SIZE_U64)
19539735a3aSAndre Przywara 
19639735a3aSAndre Przywara #define KVM_REG_ARM_TIMER_CTL		ARM64_SYS_REG(3, 3, 14, 3, 1)
19739735a3aSAndre Przywara #define KVM_REG_ARM_TIMER_CNT		ARM64_SYS_REG(3, 3, 14, 3, 2)
19839735a3aSAndre Przywara #define KVM_REG_ARM_TIMER_CVAL		ARM64_SYS_REG(3, 3, 14, 0, 2)
19939735a3aSAndre Przywara 
2002a2f3e26SChristoffer Dall /* Device Control API: ARM VGIC */
2012a2f3e26SChristoffer Dall #define KVM_DEV_ARM_VGIC_GRP_ADDR	0
2022a2f3e26SChristoffer Dall #define KVM_DEV_ARM_VGIC_GRP_DIST_REGS	1
2032a2f3e26SChristoffer Dall #define KVM_DEV_ARM_VGIC_GRP_CPU_REGS	2
2042a2f3e26SChristoffer Dall #define   KVM_DEV_ARM_VGIC_CPUID_SHIFT	32
2052a2f3e26SChristoffer Dall #define   KVM_DEV_ARM_VGIC_CPUID_MASK	(0xffULL << KVM_DEV_ARM_VGIC_CPUID_SHIFT)
20694574c94SVijaya Kumar K #define   KVM_DEV_ARM_VGIC_V3_MPIDR_SHIFT 32
20794574c94SVijaya Kumar K #define   KVM_DEV_ARM_VGIC_V3_MPIDR_MASK \
20894574c94SVijaya Kumar K 			(0xffffffffULL << KVM_DEV_ARM_VGIC_V3_MPIDR_SHIFT)
2092a2f3e26SChristoffer Dall #define   KVM_DEV_ARM_VGIC_OFFSET_SHIFT	0
2102a2f3e26SChristoffer Dall #define   KVM_DEV_ARM_VGIC_OFFSET_MASK	(0xffffffffULL << KVM_DEV_ARM_VGIC_OFFSET_SHIFT)
211d017d7b0SVijaya Kumar K #define   KVM_DEV_ARM_VGIC_SYSREG_INSTR_MASK (0xffff)
212a98f26f1SMarc Zyngier #define KVM_DEV_ARM_VGIC_GRP_NR_IRQS	3
213065c0034SEric Auger #define KVM_DEV_ARM_VGIC_GRP_CTRL	4
21494574c94SVijaya Kumar K #define KVM_DEV_ARM_VGIC_GRP_REDIST_REGS 5
215d017d7b0SVijaya Kumar K #define KVM_DEV_ARM_VGIC_GRP_CPU_SYSREGS 6
216e96a006cSVijaya Kumar K #define KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO  7
217e96a006cSVijaya Kumar K #define KVM_DEV_ARM_VGIC_LINE_LEVEL_INFO_SHIFT	10
218e96a006cSVijaya Kumar K #define KVM_DEV_ARM_VGIC_LINE_LEVEL_INFO_MASK \
219e96a006cSVijaya Kumar K 			(0x3fffffULL << KVM_DEV_ARM_VGIC_LINE_LEVEL_INFO_SHIFT)
220e96a006cSVijaya Kumar K #define KVM_DEV_ARM_VGIC_LINE_LEVEL_INTID_MASK	0x3ff
221e96a006cSVijaya Kumar K #define VGIC_LEVEL_INFO_LINE_LEVEL	0
222d017d7b0SVijaya Kumar K 
223065c0034SEric Auger #define   KVM_DEV_ARM_VGIC_CTRL_INIT	0
2242a2f3e26SChristoffer Dall 
225bb0c70bcSShannon Zhao /* Device Control API on vcpu fd */
226bb0c70bcSShannon Zhao #define KVM_ARM_VCPU_PMU_V3_CTRL	0
227bb0c70bcSShannon Zhao #define   KVM_ARM_VCPU_PMU_V3_IRQ	0
228bb0c70bcSShannon Zhao #define   KVM_ARM_VCPU_PMU_V3_INIT	1
229bb0c70bcSShannon Zhao 
23054f81d0eSMarc Zyngier /* KVM_IRQ_LINE irq field index values */
23154f81d0eSMarc Zyngier #define KVM_ARM_IRQ_TYPE_SHIFT		24
23254f81d0eSMarc Zyngier #define KVM_ARM_IRQ_TYPE_MASK		0xff
23354f81d0eSMarc Zyngier #define KVM_ARM_IRQ_VCPU_SHIFT		16
23454f81d0eSMarc Zyngier #define KVM_ARM_IRQ_VCPU_MASK		0xff
23554f81d0eSMarc Zyngier #define KVM_ARM_IRQ_NUM_SHIFT		0
23654f81d0eSMarc Zyngier #define KVM_ARM_IRQ_NUM_MASK		0xffff
23754f81d0eSMarc Zyngier 
23854f81d0eSMarc Zyngier /* irq_type field */
23954f81d0eSMarc Zyngier #define KVM_ARM_IRQ_TYPE_CPU		0
24054f81d0eSMarc Zyngier #define KVM_ARM_IRQ_TYPE_SPI		1
24154f81d0eSMarc Zyngier #define KVM_ARM_IRQ_TYPE_PPI		2
24254f81d0eSMarc Zyngier 
24354f81d0eSMarc Zyngier /* out-of-kernel GIC cpu interrupt injection irq_number field */
24454f81d0eSMarc Zyngier #define KVM_ARM_IRQ_CPU_IRQ		0
24554f81d0eSMarc Zyngier #define KVM_ARM_IRQ_CPU_FIQ		1
24654f81d0eSMarc Zyngier 
247fd1d0ddfSAndre Przywara /*
248fd1d0ddfSAndre Przywara  * This used to hold the highest supported SPI, but it is now obsolete
249fd1d0ddfSAndre Przywara  * and only here to provide source code level compatibility with older
250fd1d0ddfSAndre Przywara  * userland. The highest SPI number can be set via KVM_DEV_ARM_VGIC_GRP_NR_IRQS.
251fd1d0ddfSAndre Przywara  */
252fd1d0ddfSAndre Przywara #ifndef __KERNEL__
25354f81d0eSMarc Zyngier #define KVM_ARM_IRQ_GIC_MAX		127
254fd1d0ddfSAndre Przywara #endif
25554f81d0eSMarc Zyngier 
256174178feSEric Auger /* One single KVM irqchip, ie. the VGIC */
257174178feSEric Auger #define KVM_NR_IRQCHIPS          1
258174178feSEric Auger 
259dcd2e40cSMarc Zyngier /* PSCI interface */
260dcd2e40cSMarc Zyngier #define KVM_PSCI_FN_BASE		0x95c1ba5e
261dcd2e40cSMarc Zyngier #define KVM_PSCI_FN(n)			(KVM_PSCI_FN_BASE + (n))
262dcd2e40cSMarc Zyngier 
263dcd2e40cSMarc Zyngier #define KVM_PSCI_FN_CPU_SUSPEND		KVM_PSCI_FN(0)
264dcd2e40cSMarc Zyngier #define KVM_PSCI_FN_CPU_OFF		KVM_PSCI_FN(1)
265dcd2e40cSMarc Zyngier #define KVM_PSCI_FN_CPU_ON		KVM_PSCI_FN(2)
266dcd2e40cSMarc Zyngier #define KVM_PSCI_FN_MIGRATE		KVM_PSCI_FN(3)
267dcd2e40cSMarc Zyngier 
2687d0f84aaSAnup Patel #define KVM_PSCI_RET_SUCCESS		PSCI_RET_SUCCESS
2697d0f84aaSAnup Patel #define KVM_PSCI_RET_NI			PSCI_RET_NOT_SUPPORTED
2707d0f84aaSAnup Patel #define KVM_PSCI_RET_INVAL		PSCI_RET_INVALID_PARAMS
2717d0f84aaSAnup Patel #define KVM_PSCI_RET_DENIED		PSCI_RET_DENIED
272dcd2e40cSMarc Zyngier 
27354f81d0eSMarc Zyngier #endif
27454f81d0eSMarc Zyngier 
27554f81d0eSMarc Zyngier #endif /* __ARM_KVM_H__ */
276