NFSX_V4DEVICEID
6 * NFSX_UNSIGNED + NFSX_V4DEVICEID);
NFSX_V4DEVICEID / NFSX_UNSIGNED));
NFSBCOPY(++tl, flp->nfsfl_dev, NFSX_V4DEVICEID);
tl += (NFSX_V4DEVICEID / NFSX_UNSIGNED);
NFSM_BUILD(tl, uint32_t *, NFSX_V4DEVICEID + 3 * NFSX_UNSIGNED);
NFSBCOPY(deviceid, tl, NFSX_V4DEVICEID);
tl += (NFSX_V4DEVICEID / NFSX_UNSIGNED);
NFSBCOPY(deviceid, ndi->nfsdi_deviceid, NFSX_V4DEVICEID);
if (NFSBCMP(dip->nfsdi_deviceid, deviceid, NFSX_V4DEVICEID)
uint8_t nfsfl_dev[NFSX_V4DEVICEID];
uint8_t nfsdi_deviceid[NFSX_V4DEVICEID];