/* Do not use memset() to access IO space, use memset_io() instead.  */
void* memset(void *s, int c, size_t count)
/* Do not use memset() to access IO space, use memset_io() instead.  */
void* memset(void *s, int c, size_t count)
{
	char *xs = s;
	while (count--)
		*xs++ = c;
	return s;
}