Lines Matching refs:port
83 * EVTCHNOP_alloc_unbound: Allocate a port in domain <dom> and mark as
84 * accepting interdomain bindings from domain <remote_dom>. A fresh port
85 * is allocated in <dom> and returned as <port>.
94 evtchn_port_t port;
101 * a port that is unbound and marked as accepting bindings from the calling
102 * domain. A fresh port is allocated in the calling domain and returned as
144 evtchn_port_t port;
160 evtchn_port_t port;
173 evtchn_port_t port;
178 * EVTCHNOP_close: Close a local event channel <port>. If the channel is
184 evtchn_port_t port;
190 * endpoint is <port>.
194 evtchn_port_t port;
200 * has an endpoint at <dom, port>.
209 evtchn_port_t port;
225 evtchn_port_t port;
242 * the channel is allocated (a port that is freed and subsequently reused
247 evtchn_port_t port;
253 * EVTCHNOP_unmask: Unmask the specified local event-channel port and deliver
258 evtchn_port_t port;
310 uint32_t port;