proc_mapstacks     86 kernel/defs.h  void            proc_mapstacks(pagetable_t);
proc_mapstacks     50 kernel/vm.c      proc_mapstacks(kpgtbl);