stateid_seqid    1506 fs/nfs/nfs4proc.c 	u32 stateid_seqid = be32_to_cpu(stateid->seqid);
stateid_seqid    1508 fs/nfs/nfs4proc.c 	if (stateid_seqid == state_seqid + 1U ||
stateid_seqid    1509 fs/nfs/nfs4proc.c 	    (stateid_seqid == 1U && state_seqid == 0xffffffffU))