/* Returns number of bytes that could not be copied. On success, this will be zero.  */
unsigned long copy_to_user(void __user *to, const void *from, unsigned long n)
/* Returns number of bytes that could not be copied. On success, this will be zero.  */
unsigned long copy_to_user(void __user *to, const void *from, unsigned long n)
{
	if (access_ok(VERIFY_WRITE, to, n))
		n = __copy_to_user(to, from, n);
	return n;
}