fault_in_writeable
size_t fault_in_writeable(char __user *uaddr, size_t size);
EXPORT_SYMBOL(fault_in_writeable);
faulted_in = size - fault_in_writeable(uaddr, size);