139 	struct device_element *de;  in linux_driver_get_name_dev()  local
144 	TAILQ_FOREACH(de, &devices, list) {  in linux_driver_get_name_dev()
145 		if (strcmp(device_name, de->entry.bsd_driver_name) == 0)  in linux_driver_get_name_dev()
146 			return (de->entry.linux_driver_name);  in linux_driver_get_name_dev()
155 	struct device_element *de;  in linux_driver_get_major_minor()  local
204 	TAILQ_FOREACH(de, &devices, list) {  in linux_driver_get_major_minor()
205 		if (strcmp(node, de->entry.bsd_device_name) == 0) {  in linux_driver_get_major_minor()
206 			*major = de->entry.linux_major;  in linux_driver_get_major_minor()
207 			*minor = de->entry.linux_minor;  in linux_driver_get_major_minor()
261 	struct device_element *de;  in linux_get_char_devices()  local
269 	TAILQ_FOREACH(de, &devices, list) {  in linux_get_char_devices()
270 		if (!de->entry.linux_char_device)  in linux_get_char_devices()
273 		if (strcmp(last, de->entry.bsd_driver_name) != 0) {  in linux_get_char_devices()
274 			last = de->entry.bsd_driver_name;  in linux_get_char_devices()
277 				 de->entry.linux_major,  in linux_get_char_devices()
278 				 de->entry.linux_device_name);  in linux_get_char_devices()
307 	struct device_element *de;  in linux_device_register_handler()  local
312 	de = malloc(sizeof(*de), M_LINUX, M_WAITOK);  in linux_device_register_handler()
316 	bcopy(d, &de->entry, sizeof(*d));  in linux_device_register_handler()
319 	TAILQ_INSERT_TAIL(&devices, de, list);  in linux_device_register_handler()
327 	struct device_element *de;  in linux_device_unregister_handler()  local
332 	TAILQ_FOREACH(de, &devices, list) {  in linux_device_unregister_handler()
333 		if (bcmp(d, &de->entry, sizeof(*d)) == 0) {  in linux_device_unregister_handler()
334 			TAILQ_REMOVE(&devices, de, list);  in linux_device_unregister_handler()
335 			free(de, M_LINUX);  in linux_device_unregister_handler()