HSRECN            231 arch/arm/include/asm/kvm_arm.h 	HSRECN(UNKNOWN), HSRECN(WFI), HSRECN(CP15_32), HSRECN(CP15_64), \
HSRECN            232 arch/arm/include/asm/kvm_arm.h 	HSRECN(CP14_MR), HSRECN(CP14_LS), HSRECN(CP_0_13), HSRECN(CP10_ID), \
HSRECN            233 arch/arm/include/asm/kvm_arm.h 	HSRECN(JAZELLE), HSRECN(BXJ), HSRECN(CP14_64), HSRECN(SVC_HYP), \
HSRECN            234 arch/arm/include/asm/kvm_arm.h 	HSRECN(HVC), HSRECN(SMC), HSRECN(IABT), HSRECN(IABT_HYP), \
HSRECN            235 arch/arm/include/asm/kvm_arm.h 	HSRECN(DABT), HSRECN(DABT_HYP)