Lines Matching refs:port
29 mutable port: Xeneventchn.t option; RecordField
45 let get_port d = d.port
66 let notify dom = match dom.port with
68 warn "domain %d: attempt to notify on unknown port" dom.id
69 | Some port ->
70 Event.notify dom.eventchn port
73 begin match dom.port with
75 | Some port -> Event.unbind dom.eventchn port
77 dom.port <- Some (Event.bind_interdomain dom.eventchn dom.id dom.remote_port);
78 …debug "bound domain %d remote port %d to local port %s" dom.id dom.remote_port (string_of_port dom…
82 debug "domain %d unbound port %s" dom.id (string_of_port dom.port);
83 begin match dom.port with
85 | Some port -> Event.unbind dom.eventchn port
96 port = None;