taglinefilesource code
__dest168arch/i386/boot/compressed/misc.c__ptr_t memcpy(__ptr_t __dest, __const __ptr_t __src,
__dest172arch/i386/boot/compressed/misc.cchar *d = (char *)__dest, *s = (char *)__src;