__inst_arm_thumb32
#define __SMC(imm4) __inst_arm_thumb32( \
#define __HVC(imm16) __inst_arm_thumb32( \
#define __ERET __inst_arm_thumb32( \
#define __MSR_ELR_HYP(regnum) __inst_arm_thumb32( \