_kern_next_device
extern dev_t _kern_next_device(int32 *_cookie);
return _kern_next_device(_cookie);
fssh_dev_t _kern_next_device(int32_t *_cookie);