file_systems/nfs4/kernel_interface.cpp

376 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);
420 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);
490 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);
767 	OpenFileCookie* cookie = new OpenFileCookie(fs);
842 	OpenFileCookie* cookie = new OpenFileCookie(fs);
895 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);
923 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);
948 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);
1335 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);
1353 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);
1384 	OpenFileCookie* cookie = reinterpret_cast<OpenFileCookie*>(_cookie);