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