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