rem: arch_cpu_user_memset(void *s, char c, size_t count, addr *faultHandler)
add: arch_cpu_user_memset(void *s, char c, size_t count, addr *fault_handler)
context: arch_cpu_user_memset(void *s, char c, size_t count, addr *faultHandler){	char *xs = (char *)s;	*faultHandler = (addr)&&error;	while (count--)		*xs++ = c;	*faultHandler = 0;	return 0;error:	*faultHandler = 0;	return B_BAD_ADDRESS;}