Searched refs:dbg_wcr (Results 1 – 5 of 5) sorted by relevance
195 &vcpu->arch.debug_ptr->dbg_wcr[0], in kvm_arm_setup_debug()234 &vcpu->arch.debug_ptr->dbg_wcr[0], in kvm_arm_clear_debug()
557 u64 *dbg_reg = &vcpu->arch.vcpu_debug_state.dbg_wcr[rd->reg]; in trap_wcr()572 __u64 *r = &vcpu->arch.vcpu_debug_state.dbg_wcr[rd->reg]; in set_wcr()582 __u64 *r = &vcpu->arch.vcpu_debug_state.dbg_wcr[rd->reg]; in get_wcr()592 vcpu->arch.vcpu_debug_state.dbg_wcr[rd->reg] = rd->val; in reset_wcr()
126 save_debug(dbg->dbg_wcr, dbgwcr, wrps); in __debug_save_state()146 restore_debug(dbg->dbg_wcr, dbgwcr, wrps); in __debug_restore_state()
134 __u64 dbg_wcr[KVM_ARM_MAX_DBG_REGS]; member
