kfree              61 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             491 kernel/sysfile.c     kfree(argv[i]);
kfree             497 kernel/sysfile.c     kfree(argv[i]);
kfree             209 kernel/vm.c          kfree((void *)pa);
kfree             236 kernel/vm.c          kfree(mem);
kfree             279 kernel/vm.c      kfree((void *)pagetable);
kfree             317 kernel/vm.c          kfree(mem);
kfree             474 kernel/vm.c        kfree((void *)mem);