proc_mapstacks     85 kernel/defs.h  void            proc_mapstacks(pagetable_t);
proc_mapstacks     49 kernel/vm.c      proc_mapstacks(kpgtbl);