__copy_user_flushcache
unsigned long __copy_user_flushcache(void *to, const void __user *from,
long __copy_user_flushcache(void *dst, const void __user *src, unsigned size)