proc_mapstacks     89 kernel/defs.h  void            proc_mapstacks(pagetable_t);
proc_mapstacks     47 kernel/vm.c      proc_mapstacks(kpgtbl);