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