return copy_to_user(mask, nodes, copy) ? -EFAULT : 0; 
return copy_to_user(mask, nodes_addr(*nodes), copy) ? -EFAULT : 0; 
static int copy_nodes_to_user(unsigned long __user *mask, unsigned long maxnode,			      void *nodes, unsigned nbytes){	unsigned long copy = ALIGN(maxnode-1, 64) / 8;	if (copy > nbytes) {		if (copy > PAGE_SIZE)			return -EINVAL;		if (clear_user((char __user *)mask + nbytes, copy - nbytes))			return -EFAULT;		copy = nbytes;	}	return copy_to_user(mask, nodes, copy) ? -EFAULT : 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfcd3c0dc426bb75770c34b40e14f2da8845ea62/mempolicy.c/buggy/mm/mempolicy.c