NFSV3WRITE_FILESYNC
iomode = NFSV3WRITE_FILESYNC;
int stable = NFSV3WRITE_FILESYNC;
*tl++ = txdr_unsigned(NFSV3WRITE_FILESYNC);
int committed = NFSV3WRITE_FILESYNC;
if (committed == NFSV3WRITE_FILESYNC)