picenable         290 console.c        picenable(IRQ_KBD);
picenable          96 defs.h         void            picenable(int);
picenable          53 ide.c            picenable(IRQ_IDE);
picenable          31 timer.c          picenable(IRQ_TIMER);
picenable          43 uart.c           picenable(IRQ_COM1);