devintr            17 kernel/trap.c  extern int devintr();
devintr            69 kernel/trap.c    } else if ((which_dev = devintr()) != 0) {
devintr           149 kernel/trap.c    if ((which_dev = devintr()) == 0) {