Searched refs:xs_evtchn (Results 1 – 3 of 3) sorted by relevance
66 len = snprintf(evtchn, sizeof(evtchn), "%u", xs_evtchn()); in xsd_dev_read()
1257 xs_evtchn(void) in xs_evtchn() function
104 evtchn_port_t xs_evtchn(void);