NFSMNT_HASWRITEVERF
if ((nmp->nm_flag & NFSMNT_HASWRITEVERF) == 0) {
nmp->nm_flag |= NFSMNT_HASWRITEVERF;
if ((nmp->nm_flag & NFSMNT_HASWRITEVERF) == 0)