bind_evtchn_to_irq_chip
return bind_evtchn_to_irq_chip(evtchn, &xen_dynamic_chip, NULL, false);
return bind_evtchn_to_irq_chip(evtchn, &xen_lateeoi_chip, NULL, false);
return err ? : bind_evtchn_to_irq_chip(bind_interdomain.local_port,
irq = bind_evtchn_to_irq_chip(evtchn, chip, NULL,