send_softint
send_softint(ih->ih_pil, ih);
send_softint(ih->ih_pil, ih);
void send_softint(int, struct intrhand *);
send_softint(PIL_CLOCK, &curcpu()->ci_tickintr);
send_softint(ih->ih_pil, ih);