xen_intr_signal
xen_intr_signal(xbb->xen_intr_handle);
xen_intr_signal(sc->xen_intr_handle);
xen_intr_signal(cons->intr_handle);
xen_intr_signal(evtchn->handle);
xen_intr_signal(notify->notify_evtchn_handle);
xen_intr_signal(xnb->xen_intr_handle);
xen_intr_signal(xnb->xen_intr_handle);
xen_intr_signal(rxq->xen_intr_handle);
xen_intr_signal(txq->xen_intr_handle);
xen_intr_signal(txq->xen_intr_handle);
xen_intr_signal(xs.xen_intr_handle);
xen_intr_signal(xs.xen_intr_handle);
xen_intr_signal(ipi_handle[ipi_idx]);
xen_intr_signal(ipi_handle[ipi_idx]);
xen_intr_signal(ipi_handle[ipi_idx]);
xen_intr_signal(ipi_handle[ipi_idx]);
void xen_intr_signal(xen_intr_handle_t handle);