dbgvcr32_el2      210 arch/arm64/kvm/hyp/sysreg-sr.c 		sysreg[DBGVCR32_EL2] = read_sysreg(dbgvcr32_el2);
dbgvcr32_el2      232 arch/arm64/kvm/hyp/sysreg-sr.c 		write_sysreg(sysreg[DBGVCR32_EL2], dbgvcr32_el2);