void sched_ithd_soft(int intr) { struct intr_info *info; KKASSERT(intr >= FIRST_SOFTINT && intr < MAX_INTS); info = swi_info_ary[intr - FIRST_SOFTINT]; if (info != NULL) { sched_ithd_intern(info); } else { kprintf("unregistered softint %d got scheduled on cpu%d\n", intr, mycpuid); } }
void sched_ithd_hard(int intr) { KKASSERT(intr >= 0 && intr < MAX_HARDINTS); sched_ithd_intern(&intr_info_ary[mycpuid][intr]); }
static void sched_ithd_remote(void *arg) { sched_ithd_intern(arg); }
void sched_ithd_hard_virtual(int intr) { KKASSERT(intr >= 0 && intr < MAX_HARDINTS); sched_ithd_intern(&intr_info_ary[0][intr]); }