procdump          146 kernel/console.c     procdump();
procdump          103 kernel/defs.h  void            procdump(void);