Home
last modified time | relevance | path

Searched refs:virq_port (Results 1 – 6 of 6) sorted by relevance

/xen/tools/misc/
A Dxen-lowmemd.c13 static evtchn_port_t virq_port = ~0; variable
20 if (virq_port != ~0) in cleanup()
21 xenevtchn_unbind(xce_handle, virq_port); in cleanup()
118 virq_port = rc; in main()
130 if (port != virq_port) in main()
133 snprintf(data, BUFSZ, "Wrong port, got %d expected %d", port, virq_port); in main()
/xen/tools/ocaml/xenstored/
A Devent.ml20 mutable virq_port: Xeneventchn.t option; RecordField
23 let init () = { handle = Xeneventchn.init (); virq_port = None; }
25 let bind_dom_exc_virq eventchn = eventchn.virq_port <- Some (Xeneventchn.bind_dom_exc_virq eventchn…
A Dxenstored.ml342 if Some port = eventchn.Event.virq_port then (
/xen/tools/xentrace/
A Dxentrace.c80 static int virq_port = -1; variable
624 virq_port = rc; in event_init()
652 if (port != virq_port) { in wait_for_event_or_timeout()
655 port, virq_port); in wait_for_event_or_timeout()
/xen/tools/xenstore/
A Dxenstored_domain.c40 static evtchn_port_t virq_port; variable
276 if (port == virq_port) in handle_event()
767 virq_port = rc; in domain_init()
/xen/tools/xenmon/
A Dxenbaked.c273 int virq_port; variable
293 virq_port = rc; in eventchn_init()

Completed in 11 milliseconds