tag	line	file	source code
gzip_mark	70	arch/i386/boot/compressed/misc.c	static void gzip_mark(void **);
gzip_mark	111	arch/i386/boot/compressed/misc.c	static void gzip_mark(void **);
gzip_mark	498	drivers/block/rd.c	static void gzip_mark(void **);
gzip_mark	969	lib/inflate.c	gzip_mark(&ptr);