CP15_64           231 arch/arm/include/asm/kvm_arm.h 	HSRECN(UNKNOWN), HSRECN(WFI), HSRECN(CP15_32), HSRECN(CP15_64), \
CP15_64           318 arch/arm64/include/asm/kvm_arm.h 	ECN(UNKNOWN), ECN(WFx), ECN(CP15_32), ECN(CP15_64), ECN(CP14_MR), \