nfsrv_flexmirrordel
void nfsrv_flexmirrordel(char *, NFSPROC_T *);
nfsrv_flexmirrordel(fndds->nfsdev_deviceid, p);