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