Lines Matching refs:MDSCR_EL1
38 u64 val = vcpu_read_sys_reg(vcpu, MDSCR_EL1); in save_guest_debug_regs()
50 vcpu_write_sys_reg(vcpu, val, MDSCR_EL1); in restore_guest_debug_regs()
53 vcpu_read_sys_reg(vcpu, MDSCR_EL1)); in restore_guest_debug_regs()
195 mdscr = vcpu_read_sys_reg(vcpu, MDSCR_EL1); in kvm_arm_setup_debug()
197 vcpu_write_sys_reg(vcpu, mdscr, MDSCR_EL1); in kvm_arm_setup_debug()
199 mdscr = vcpu_read_sys_reg(vcpu, MDSCR_EL1); in kvm_arm_setup_debug()
201 vcpu_write_sys_reg(vcpu, mdscr, MDSCR_EL1); in kvm_arm_setup_debug()
217 mdscr = vcpu_read_sys_reg(vcpu, MDSCR_EL1); in kvm_arm_setup_debug()
219 vcpu_write_sys_reg(vcpu, mdscr, MDSCR_EL1); in kvm_arm_setup_debug()
238 if (vcpu_read_sys_reg(vcpu, MDSCR_EL1) & (DBG_MDSCR_KDE | DBG_MDSCR_MDE)) in kvm_arm_setup_debug()
245 trace_kvm_arm_set_dreg32("MDSCR_EL1", vcpu_read_sys_reg(vcpu, MDSCR_EL1)); in kvm_arm_setup_debug()