Searched refs:_kern_next_device (Results 1 – 7 of 7) sorted by relevance
34 return _kern_next_device(_cookie); in next_dev()
30 fssh_dev_t _kern_next_device(int32_t *_cookie);
5141 _kern_next_device(int32_t *_cookie) in _kern_next_device() function
265 extern dev_t _kern_next_device(int32 *_cookie);
1143 void _kern_next_device() {} in _kern_next_device() function
1214 void _kern_next_device() {} in _kern_next_device() function
8267 _kern_next_device(int32* _cookie) in _kern_next_device() function