NFS_DEFAULT_NEGNAMETIMEO
NFS_DEFAULT_NEGNAMETIMEO, 0)) != 0) {
int negnametimeo = NFS_DEFAULT_NEGNAMETIMEO;
#ifndef NFS_DEFAULT_NEGNAMETIMEO