dacr32_el2        206 arch/arm64/kvm/hyp/sysreg-sr.c 	sysreg[DACR32_EL2] = read_sysreg(dacr32_el2);
dacr32_el2        228 arch/arm64/kvm/hyp/sysreg-sr.c 	write_sysreg(sysreg[DACR32_EL2], dacr32_el2);