Searched defs:evtchn_port_t (Results 1 – 4 of 4) sorted by relevance
17 typedef uint32_t evtchn_port_t; typedef
15 typedef uint32_t evtchn_port_t; typedef
65 typedef uint32_t evtchn_port_t; typedef
35 typedef uint32_t evtchn_port_t; typedef