bind_evtchn_to_irq
EXPORT_SYMBOL_GPL(bind_evtchn_to_irq);
int bind_evtchn_to_irq(evtchn_port_t evtchn);
ret = bind_evtchn_to_irq(channel->port);