procdump          153 kernel/console.c     procdump();
procdump          105 kernel/defs.h  void            procdump(void);