nfsrv_delds
int nfsrv_delds(char *, NFSPROC_T *);
nfsrv_delds(devid, curthread);
nfsrv_delds(devid, p);