kfree              64 kernel/defs.h  void            kfree(void *);
kfree              39 kernel/kalloc.c     kfree(p);
kfree              50 kernel/pipe.c      kfree((char*)pi);
kfree              71 kernel/pipe.c      kfree((char*)pi);
kfree             159 kernel/proc.c      kfree((void*)p->trapframe);
kfree             467 kernel/sysfile.c     kfree(argv[i]);
kfree             473 kernel/sysfile.c     kfree(argv[i]);
kfree             195 kernel/vm.c          kfree((void*)pa);
kfree             250 kernel/vm.c          kfree(mem);
kfree             293 kernel/vm.c      kfree((void*)pagetable);
kfree             331 kernel/vm.c          kfree(mem);