Lines Matching refs:_cookie
4153 vfs_get_cookie_from_fd(int fd, void** _cookie)
4161 *_cookie = descriptor->cookie;
8024 fs_next_device(int32* _cookie)
8027 dev_t device = *_cookie;
8042 *_cookie = device;
8218 _kern_next_device(int32* _cookie)
8220 return fs_next_device(_cookie);
8225 _kern_get_next_fd_info(team_id teamID, uint32* _cookie, fd_info* info,
8241 uint32 slot = *_cookie;
8264 *_cookie = slot + 1;