sched_ithd_intern
static void sched_ithd_intern(struct intr_info *info);
sched_ithd_intern(arg);
sched_ithd_intern(info);
sched_ithd_intern(&intr_block->ary[mycpuid][intr]);
sched_ithd_intern(&intr_block->ary[0][intr]);