Searched defs:evtchn_port_t (Results 1 - 1 of 1) sorted by relevance
/freebsd-12-stable/sys/xen/interface/ | ||
H A D | event_channel.h | 79 typedef uint32_t evtchn_port_t; typedef 80 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t); variable [all...] |
Completed in 59 milliseconds