Searched defs:evtchn_port_t (Results 1 - 1 of 1) sorted by relevance
| /netbsd-6-1-5-RELEASE/sys/arch/xen/include/xen-public/ | ||
| H A D | event_channel.h | 40 typedef uint32_t evtchn_port_t; typedef 41 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t); variable [all...] |
Completed in 220 milliseconds