tag	line	file	source code
inflate_dynamic	40	arch/i386/boot/compressed/inflate.c	int inflate_dynamic OF((void));
inflate_dynamic	755	arch/i386/boot/compressed/inflate.c	return inflate_dynamic();