NFS_REVAUTH
if (_nfssys(NFS_REVAUTH, &nra) < 0)
if (_nfssys(NFS_REVAUTH, &nra) < 0) {
(void) _nfssys(NFS_REVAUTH, &nra);
if (_nfssys(NFS_REVAUTH, &nra) < 0) {
argres->result = _nfssys(NFS_REVAUTH, &nra);
case NFS_REVAUTH: { /* revoke the cached credentials for the uid */
if (!(opcode == NFS_REVAUTH || opcode == NFS4_SVC) &&