tag	line	file	source code
__src	152	zBoot/misc.c	__ptr_t memcpy(__ptr_t __dest, __const __ptr_t __src,
__src	156	zBoot/misc.c	char *d = (char *)__dest, *s = (char *)__src;