Searched refs:dbg_wcr (Results 1 – 4 of 4) sorted by relevance
184 &vcpu->arch.debug_ptr->dbg_wcr[0], in kvm_arm_setup_debug()219 &vcpu->arch.debug_ptr->dbg_wcr[0], in kvm_arm_clear_debug()
409 u64 *dbg_reg = &vcpu->arch.vcpu_debug_state.dbg_wcr[rd->reg]; in trap_wcr()424 __u64 *r = &vcpu->arch.vcpu_debug_state.dbg_wcr[rd->reg]; in set_wcr()434 __u64 *r = &vcpu->arch.vcpu_debug_state.dbg_wcr[rd->reg]; in get_wcr()444 vcpu->arch.vcpu_debug_state.dbg_wcr[rd->reg] = rd->val; in reset_wcr()
147 save_debug(dbg->dbg_wcr, dbgwcr, wrps); in __debug_save_state()170 restore_debug(dbg->dbg_wcr, dbgwcr, wrps); in __debug_restore_state()
132 __u64 dbg_wcr[KVM_ARM_MAX_DBG_REGS]; member