1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 * opcodes-virt.h: Opcode definitions for the ARM virtualization extensions
4 * Copyright (C) 2012 Linaro Limited
6 #ifndef __ASM_ARM_OPCODES_VIRT_H
7 #define __ASM_ARM_OPCODES_VIRT_H
9 #include <asm/opcodes.h>
11 #define __HVC(imm16) __inst_arm_thumb32( \
12 0xE1400070 | (((imm16) & 0xFFF0) << 4) | ((imm16) & 0x000F), \
13 0xF7E08000 | (((imm16) & 0xF000) << 4) | ((imm16) & 0x0FFF) \
16 #define __ERET __inst_arm_thumb32( \
21 #define __MSR_ELR_HYP(regnum) __inst_arm_thumb32( \
22 0xE12EF300 | regnum, \
23 0xF3808E30 | (regnum << 16) \
26 #endif /* ! __ASM_ARM_OPCODES_VIRT_H */