Did you mean (for linux):evtchn_get
Your search defs:evtchn_put did not match any files. Suggestions: