nfscl_umount
void nfscl_umount(struct nfsmount *, NFSPROC_T *, struct nfscldeleghead *);
nfscl_umount(nmp, td, &dh);
nfscl_umount(nmp, td, NULL);