intr_free_io_intrsource
void intr_free_io_intrsource(const char *);
intr_free_io_intrsource(intrstr);
intr_free_io_intrsource(intrstr);
__strong_alias(intr_free_io_intrsource, xen_intr_free_io_intrsource);
intr_free_io_intrsource(evts->ev_intrname);