procdump          142 kernel/console.c     procdump();
procdump          108 kernel/defs.h  void            procdump(void);