__copy_user_intel
unsigned long __copy_user_intel(void __user *to, const void *from,
n = __copy_user_intel(to, from, n);