vmx_get_pending_dbg_trap
return vmx_get_pending_dbg_trap(ex) & ~DR6_BT;
pending_dbg = vmx_get_pending_dbg_trap(&vcpu->arch.exception);