Home
last modified time | relevance | path

Searched refs:VIRQ_DEBUG (Results 1 – 5 of 5) sorted by relevance

/xen/xen/common/
A Dkeyhandler.c344 VIRQ_DEBUG, v->virq_to_evtchn[VIRQ_DEBUG]); in dump_domains()
345 send_guest_vcpu_virq(v, VIRQ_DEBUG); in dump_domains()
A Devent_channel.c135 case VIRQ_DEBUG: in virq_is_global()
/xen/tools/ocaml/libs/eventchn/
A Dxeneventchn.ml26 | Debug (* #define VIRQ_DEBUG 1 *)
A Dxeneventchn.mli27 | Debug (* #define VIRQ_DEBUG 1 *)
/xen/xen/include/public/
A Dxen.h182 #define VIRQ_DEBUG 1 /* V. Request guest to dump debug info. */ macro

Completed in 10 milliseconds