SYS_VDISR_EL2      75 arch/arm64/kvm/hyp/sysreg-sr.c 		ctxt->sys_regs[DISR_EL1] = read_sysreg_s(SYS_VDISR_EL2);
SYS_VDISR_EL2     167 arch/arm64/kvm/hyp/sysreg-sr.c 		write_sysreg_s(ctxt->sys_regs[DISR_EL1], SYS_VDISR_EL2);