Lines Matching refs:debug_ptr
135 vcpu->arch.debug_ptr = &vcpu->arch.vcpu_debug_state;
203 * We simply switch the debug_ptr to point to our new
215 vcpu->arch.debug_ptr = &vcpu->arch.external_debug_state;
219 &vcpu->arch.debug_ptr->dbg_bcr[0],
220 &vcpu->arch.debug_ptr->dbg_bvr[0]);
223 &vcpu->arch.debug_ptr->dbg_wcr[0],
224 &vcpu->arch.debug_ptr->dbg_wvr[0]);
229 vcpu->arch.debug_ptr != &vcpu->arch.vcpu_debug_state);
251 * debug_ptr to the guest debug state.
257 &vcpu->arch.debug_ptr->dbg_bcr[0],
258 &vcpu->arch.debug_ptr->dbg_bvr[0]);
261 &vcpu->arch.debug_ptr->dbg_wcr[0],
262 &vcpu->arch.debug_ptr->dbg_wvr[0]);