Lines Matching refs:debug_ptr
150 vcpu->arch.debug_ptr = &vcpu->arch.vcpu_debug_state;
229 * We simply switch the debug_ptr to point to our new
240 vcpu->arch.debug_ptr = &vcpu->arch.external_debug_state;
244 &vcpu->arch.debug_ptr->dbg_bcr[0],
245 &vcpu->arch.debug_ptr->dbg_bvr[0]);
248 &vcpu->arch.debug_ptr->dbg_wcr[0],
249 &vcpu->arch.debug_ptr->dbg_wvr[0]);
267 vcpu->arch.debug_ptr != &vcpu->arch.vcpu_debug_state);
301 * debug_ptr to the guest debug state.
307 &vcpu->arch.debug_ptr->dbg_bcr[0],
308 &vcpu->arch.debug_ptr->dbg_bvr[0]);
311 &vcpu->arch.debug_ptr->dbg_wcr[0],
312 &vcpu->arch.debug_ptr->dbg_wvr[0]);