HDFAR             107 arch/arm/kvm/hyp/switch.c 		far = read_sysreg(HDFAR);
HDFAR             221 arch/arm/kvm/hyp/switch.c 		val = read_sysreg(HDFAR);