tag	line	file	source code
obj	10	include/linux/kernel.h	void free_s(void * obj, int size);
obj	182	lib/malloc.c	void free_s(void *obj, int size)
obj	189	lib/malloc.c	page = (void *)  ((unsigned long) obj & 0xfffff000);
obj	205	lib/malloc.c	*((void **)obj) = bdesc->freeptr;
obj	206	lib/malloc.c	bdesc->freeptr = obj;