ADFSR              28 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c5_ADFSR]		= read_sysreg(ADFSR);
ADFSR              57 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c5_ADFSR],	ADFSR);