Symbol: xen_intr_schedule
sys/dev/pv/if_xnf.c
834
xen_intr_schedule(sc->sc_xih);
sys/dev/pv/xenvar.h
150
void xen_intr_schedule(xen_intr_handle_t);