Home
last modified time | relevance | path

Searched defs:pending_dbg (Results 1 – 3 of 3) sorted by relevance

/xen/xen/arch/x86/hvm/
A Dmonitor.c137 unsigned int pending_dbg) in hvm_monitor_debug()
/xen/xen/include/public/
A Dvm_event.h294 uint64_t pending_dbg; /* Behaves like the VT-x PENDING_DBG field. */ member
/xen/xen/arch/x86/hvm/vmx/
A Dvmx.c3896 unsigned long pending_dbg; in vmx_vmexit_handler() local

Completed in 11 milliseconds