Searched defs:evtchn (Results 1 – 11 of 11) sorted by relevance
138 struct user_evtchn *evtchn; in evtchn_filter() local157 struct user_evtchn *evtchn; in evtchn_interrupt() local215 struct user_evtchn *evtchn, *tmp; in evtchn_release() local343 struct user_evtchn *evtchn; in evtchn_write() local361 evtchn_bind_user_port(struct per_user_data *u, struct user_evtchn *evtchn) in evtchn_bind_user_port()398 struct user_evtchn *evtchn; in evtchn_ioctl() local419 struct user_evtchn *evtchn; in evtchn_ioctl() local441 struct user_evtchn *evtchn; in evtchn_ioctl() local462 struct user_evtchn *evtchn; in evtchn_ioctl() local483 struct user_evtchn *evtchn; in evtchn_ioctl() local
63 char evtchn[XSD_READ_SIZE]; in xsd_dev_read() local
226 int evtchn; member
79 uint32_t evtchn; member101 uint32_t evtchn; member
91 int evtchn; member
154 evtchn_port_t evtchn; member
120 uint32_t evtchn; member
426 evtchn_port_t evtchn; member
856 uint32_t evtchn; /* Event channel for console page. */ member
1144 evtchn_port_t evtchn; /* OUT - remote port of the event member
368 evtchn_port_t evtchn; member