| Masahiro Yamada | c2da86f | 2017-04-14 11:10:22 +0900 | [diff] [blame] | 1 | /* |
| 2 | * opcodes-virt.h: Opcode definitions for the ARM virtualization extensions |
| 3 | * Copyright (C) 2012 Linaro Limited |
| 4 | * |
| Masahiro Yamada | c54bcf6 | 2017-04-14 11:10:23 +0900 | [diff] [blame] | 5 | * SPDX-License-Identifier: GPL-2.0+ |
| Masahiro Yamada | c2da86f | 2017-04-14 11:10:22 +0900 | [diff] [blame] | 6 | */ |
| 7 | #ifndef __ASM_ARM_OPCODES_VIRT_H |
| 8 | #define __ASM_ARM_OPCODES_VIRT_H |
| 9 | |
| 10 | #include <asm/opcodes.h> |
| 11 | |
| 12 | #define __HVC(imm16) __inst_arm_thumb32( \ |
| 13 | 0xE1400070 | (((imm16) & 0xFFF0) << 4) | ((imm16) & 0x000F), \ |
| 14 | 0xF7E08000 | (((imm16) & 0xF000) << 4) | ((imm16) & 0x0FFF) \ |
| 15 | ) |
| 16 | |
| 17 | #define __ERET __inst_arm_thumb32( \ |
| 18 | 0xE160006E, \ |
| 19 | 0xF3DE8F00 \ |
| 20 | ) |
| 21 | |
| 22 | #define __MSR_ELR_HYP(regnum) __inst_arm_thumb32( \ |
| 23 | 0xE12EF300 | regnum, \ |
| 24 | 0xF3808E30 | (regnum << 16) \ |
| 25 | ) |
| 26 | |
| 27 | #endif /* ! __ASM_ARM_OPCODES_VIRT_H */ |