Symbol: nfs4_free_dir_cookie
src/add-ons/kernel/file_systems/nfs4/kernel_interface.cpp
1134
return nfs4_free_dir_cookie(volume, vnode, cookie);
src/add-ons/kernel/file_systems/nfs4/kernel_interface.cpp
1533
nfs4_free_dir_cookie,