Home
last modified time | relevance | path

Searched refs:VIRQ_DEBUGGER (Results 1 – 4 of 4) sorted by relevance

/xen/tools/ocaml/libs/eventchn/
A Dxeneventchn.ml31 | Debugger (* #define VIRQ_DEBUGGER 6 *)
A Dxeneventchn.mli32 | Debugger (* #define VIRQ_DEBUGGER 6 *)
/xen/xen/include/public/
A Dxen.h186 #define VIRQ_DEBUGGER 6 /* G. (DOM0) A domain has paused for debugging. */ macro
/xen/xen/arch/x86/
A Ddomain.c2291 send_global_virq(VIRQ_DEBUGGER); in domain_pause_for_debugger()

Completed in 9 milliseconds