new->task = NULL; 
struct nfs_seqid *nfs_alloc_seqid(struct nfs_seqid_counter *counter){	struct rpc_sequence *sequence = counter->sequence;	struct nfs_seqid *new;	new = kmalloc(sizeof(*new), GFP_KERNEL);	if (new != NULL) {		new->sequence = counter;		new->task = NULL;		spin_lock(&sequence->lock);		list_add_tail(&new->list, &sequence->list);		spin_unlock(&sequence->lock);	}	return new;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7f709a48fa798cfa0f2f777c8752e12995054f78/nfs4state.c/buggy/fs/nfs/nfs4state.c