IFAR               31 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c6_IFAR]		= read_sysreg(IFAR);
IFAR               60 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c6_IFAR],	IFAR);