tag	line	file	source code
__dest	168	arch/i386/boot/compressed/misc.c	__ptr_t memcpy(__ptr_t __dest, __const __ptr_t __src,
__dest	172	arch/i386/boot/compressed/misc.c	char *d = (char *)__dest, *s = (char *)__src;