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