evtchn_get
EXPORT_SYMBOL_GPL(evtchn_get);
if (evtchn_get(op.event_channel_port)) {
if (evtchn_get(op.event_channel_port))
int evtchn_get(evtchn_port_t evtchn);