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