swi_sched
swi_sched(cpu->swi_cookie, SWI_FROMNMI);
swi_sched(nges->swi_ih, SWI_FROMNMI);
swi_sched(ntb->int_info[i].tag, 0);
swi_sched(sc->sc_softih, 0);
swi_sched(taskqueue_ih, 0);
swi_sched(taskqueue_giant_ih, 0);
swi_sched(taskqueue_fast_ih, 0);
#define NWS_SIGNAL(s) swi_sched((s)->nws_swi_cookie, 0)
.swi_sched = swi_sched,
#define swi_sched pace->funcs->swi_sched
swi_sched(hpts->ie_cookie, 0);
swi_sched(hpts->ie_cookie, 0);
void (*swi_sched)(void *cookie, int flags);
.swi_sched = test_swi_sched,
swi_sched(V_pfsync_swi_cookie, 0);
swi_sched(V_pfsync_swi_cookie, 0);
swi_sched(V_pf_swi_cookie, 0);
swi_sched(sc->sc_swi_cookie, 0);
swi_sched(sc->sc_swi_cookie, 0);
swi_sched(sc->sc_swi_cookie, 0);
void swi_sched(void *cookie, int flags);