Searched refs:pending_dbg (Results 1 – 1 of 1) sorted by relevance
3967 unsigned long pending_dbg; in nested_vmx_update_pending_dbg() local3969 pending_dbg = vmx_get_pending_dbg_trap(&vcpu->arch.exception); in nested_vmx_update_pending_dbg()3970 if (pending_dbg) in nested_vmx_update_pending_dbg()3971 vmcs_writel(GUEST_PENDING_DBG_EXCEPTIONS, pending_dbg); in nested_vmx_update_pending_dbg()