/* You should not use this function to access IO space, use memcpy_toio() or memcpy_fromio() instead.  */
void* memcpy(void *dest, const void *src, size_t count)
/* You should not use this function to access IO space, use memcpy_toio() or memcpy_fromio() instead.  */
void* memcpy(void *dest, const void *src, size_t count)
{
	char *tmp = dest;
	const char *s = src;
	while (count--)
		*tmp++ = *s++;
	return dest;
}