Searched refs:virq_port (Results 1 – 6 of 6) sorted by relevance
13 static evtchn_port_t virq_port = ~0; variable20 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()
20 mutable virq_port: Xeneventchn.t option; RecordField23 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…
342 if Some port = eventchn.Event.virq_port then (
80 static int virq_port = -1; variable624 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()
40 static evtchn_port_t virq_port; variable276 if (port == virq_port) in handle_event()767 virq_port = rc; in domain_init()
273 int virq_port; variable293 virq_port = rc; in eventchn_init()
Completed in 11 milliseconds