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