rebind_evtchn_irq
rebind_evtchn_irq(info->evtchn, info->irq);
rebind_evtchn_irq(xen_store_evtchn, xenbus_irq);
void rebind_evtchn_irq(evtchn_port_t evtchn, int irq);