NFSNUMCOOKIES
while (pos >= NFSNUMCOOKIES) {
pos -= NFSNUMCOOKIES;
if (!add && dp->ndm_eocookie < NFSNUMCOOKIES &&
nfsuint64 ndmu3_cookies[NFSNUMCOOKIES];
uint64_t ndmu4_cookies[NFSNUMCOOKIES];
nfsuint64 ndmu3_cookies[NFSNUMCOOKIES];
uint64_t ndmu4_cookies[NFSNUMCOOKIES];