tag	line	file	source code
vfree	131	arch/i386/kernel/process.c	vfree(ldt);
vfree	4094	drivers/block/sbpcd.c	vfree(D_S[d].aud_buf);
vfree	5322	drivers/block/sbpcd.c	vfree(D_S[j].sbp_buf);
vfree	5324	drivers/block/sbpcd.c	vfree(D_S[j].aud_buf);
vfree	196	include/linux/mm.h	extern void vfree(void * addr);
vfree	153	kernel/ksyms.c	X(vfree),
vfree	499	kernel/module.c	vfree(mp->addr);
vfree	1051	mm/swap.c	vfree(p->swap_map);
vfree	1199	mm/swap.c	vfree(p->swap_map);
vfree	287	mm/vmalloc.c	vfree(addr);
vfree	315	mm/vmalloc.c	vfree(addr);