2 * opcodes-virt.h: Opcode definitions for the ARM virtualization extensions
3 * Copyright (C) 2012 Linaro Limited
5 * SPDX-License-Identifier: GPL-2.0+
7 #ifndef __ASM_ARM_OPCODES_VIRT_H
8 #define __ASM_ARM_OPCODES_VIRT_H
10 #include <asm/opcodes.h>
12 #define __HVC(imm16) __inst_arm_thumb32( \
13 0xE1400070 | (((imm16) & 0xFFF0) << 4) | ((imm16) & 0x000F), \
14 0xF7E08000 | (((imm16) & 0xF000) << 4) | ((imm16) & 0x0FFF) \
17 #define __ERET __inst_arm_thumb32( \
22 #define __MSR_ELR_HYP(regnum) __inst_arm_thumb32( \
23 0xE12EF300 | regnum, \
24 0xF3808E30 | (regnum << 16) \
27 #endif /* ! __ASM_ARM_OPCODES_VIRT_H */