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);