report_stray_interrupt
static void report_stray_interrupt(struct intr_info *info, const char *func);
report_stray_interrupt(info, "sched_ithd");
report_stray_interrupt(info, "sched_ithd");
report_stray_interrupt(info, "ithread_handler");