NFS4_SET_TO_SERVER_TIME 1167 fs/nfs/nfs4xdr.c 			*p++ = cpu_to_be32(NFS4_SET_TO_SERVER_TIME);
NFS4_SET_TO_SERVER_TIME 1175 fs/nfs/nfs4xdr.c 			*p++ = cpu_to_be32(NFS4_SET_TO_SERVER_TIME);
NFS4_SET_TO_SERVER_TIME  436 fs/nfsd/nfs4xdr.c 		case NFS4_SET_TO_SERVER_TIME:
NFS4_SET_TO_SERVER_TIME  455 fs/nfsd/nfs4xdr.c 		case NFS4_SET_TO_SERVER_TIME: