procdump          231 console.c          procdump();  // now call procdump() wo. cons.lock held
procdump          114 defs.h         void            procdump(void);