1113 devfs_msg_send(uint32_t cmd, devfs_msg_t devfs_msg)  in devfs_msg_send()
1137 devfs_msg_send_sync(uint32_t cmd, devfs_msg_t devfs_msg)  in devfs_msg_send_sync()
1159 	devfs_msg_t devfs_msg = devfs_msg_get();  in devfs_msg_send_generic()  local
1171 	devfs_msg_t devfs_msg = devfs_msg_get();  in devfs_msg_send_name()  local
1183 	devfs_msg_t devfs_msg = devfs_msg_get();  in devfs_msg_send_mount()  local
1195 	devfs_msg_t devfs_msg = devfs_msg_get();  in devfs_msg_send_ops()  local
1208 	devfs_msg_t devfs_msg = devfs_msg_get();  in devfs_msg_send_chandler()  local
1221 	devfs_msg_t devfs_msg = devfs_msg_get();  in devfs_msg_send_dev()  local
1237 	devfs_msg_t devfs_msg = devfs_msg_get();  in devfs_msg_send_link()  local
1628 devfs_find_device_by_name_worker(devfs_msg_t devfs_msg)  in devfs_find_device_by_name_worker()
1659 devfs_find_device_by_devid_worker(devfs_msg_t devfs_msg)  in devfs_find_device_by_devid_worker()