send_softint
send_softint(-1, PIL_SCHED, schedint);
send_softint(-1, ih->ih_pil, ih);
void send_softint(int cpu, int level, struct intrhand *ih);