kernel/device_manager/devfs.cpp

74 			struct devfs_vnode*		dir_head;
251 	vnode->stream.u.dir.dir_head = NULL;
290 				&& vnode->stream.u.dir.dir_head != NULL)
345 	for (vnode = dir->stream.u.dir.dir_head; vnode; vnode = vnode->dir_next) {
365 	devfs_vnode* node = dir->stream.u.dir.dir_head;
373 		vnode->dir_next = dir->stream.u.dir.dir_head;
374 		dir->stream.u.dir.dir_head = vnode;
398 	struct devfs_vnode* vnode = dir->stream.u.dir.dir_head;
409 				dir->stream.u.dir.dir_head = vnode->dir_next;
841 		devfs_vnode* children = vnode->stream.u.dir.dir_head;
1322 	cookie->current = vnode->stream.u.dir.dir_head;
1374 			nextChildNode = vnode->stream.u.dir.dir_head;
1380 			nextChildNode = vnode->stream.u.dir.dir_head;
1431 	cookie->current = vnode->stream.u.dir.dir_head;