HomeSort by: relevance | last modified time | path
    Searched defs:evtchn_port_t (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
event_channel.h 79 typedef uint32_t evtchn_port_t; typedef in typeref:typename:uint32_t
80 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
94 evtchn_port_t port;
121 evtchn_port_t remote_port;
123 evtchn_port_t local_port;
144 evtchn_port_t port;
160 evtchn_port_t port;
173 evtchn_port_t port;
184 evtchn_port_t port;
194 evtchn_port_t port
    [all...]
event_channel.h 79 typedef uint32_t evtchn_port_t; typedef in typeref:typename:uint32_t
80 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
94 evtchn_port_t port;
121 evtchn_port_t remote_port;
123 evtchn_port_t local_port;
144 evtchn_port_t port;
160 evtchn_port_t port;
173 evtchn_port_t port;
184 evtchn_port_t port;
194 evtchn_port_t port
    [all...]

Completed in 23 milliseconds