HCR_HOST_VHE_FLAGS  152 arch/arm64/kvm/hyp/switch.c 	write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2);
HCR_HOST_VHE_FLAGS   87 arch/arm64/kvm/hyp/tlb.c 	write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2);