NFS4_SET_TO_CLIENT_TIME  692 fs/nfs/nfs4xdr.c 		WRITE32(NFS4_SET_TO_CLIENT_TIME);
NFS4_SET_TO_CLIENT_TIME  703 fs/nfs/nfs4xdr.c 		WRITE32(NFS4_SET_TO_CLIENT_TIME);
NFS4_SET_TO_CLIENT_TIME  358 fs/nfsd/nfs4xdr.c 		case NFS4_SET_TO_CLIENT_TIME:
NFS4_SET_TO_CLIENT_TIME  384 fs/nfsd/nfs4xdr.c 		case NFS4_SET_TO_CLIENT_TIME: