Searched refs:dbg_wcr (Results 1 – 5 of 5) sorted by relevance
103 save_debug(dbg->dbg_wcr, dbgwcr, wrps); in __debug_save_state()122 restore_debug(dbg->dbg_wcr, dbgwcr, wrps); in __debug_restore_state()
248 &vcpu->arch.debug_ptr->dbg_wcr[0], in kvm_arm_setup_debug()311 &vcpu->arch.debug_ptr->dbg_wcr[0], in kvm_arm_clear_debug()
644 u64 *dbg_reg = &vcpu->arch.vcpu_debug_state.dbg_wcr[rd->CRm]; in trap_wcr()659 vcpu->arch.vcpu_debug_state.dbg_wcr[rd->CRm] = val; in set_wcr()666 *val = vcpu->arch.vcpu_debug_state.dbg_wcr[rd->CRm]; in get_wcr()673 vcpu->arch.vcpu_debug_state.dbg_wcr[rd->CRm] = rd->val; in reset_wcr()
142 __u64 dbg_wcr[KVM_ARM_MAX_DBG_REGS]; member
