kfree              60 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             208 kernel/vm.c          kfree((void*)pa);
kfree             234 kernel/vm.c          kfree(mem);
kfree             277 kernel/vm.c      kfree((void*)pagetable);
kfree             315 kernel/vm.c          kfree(mem);
kfree             469 kernel/vm.c        kfree((void *)mem);