Searched refs:device_manager (Results 1 – 1 of 1) sorted by relevance
213 let mut device_manager = self.0.lock(); in add_device() localVariable214 device_manager.devices.insert(id_table, dev); in add_device()223 let mut device_manager = self.0.lock(); in remove_device() localVariable224 device_manager.devices.remove(id_table); in remove_device()233 let device_manager = self.0.lock(); in get_device() localVariable234 device_manager.devices.get(id_table).cloned() in get_device()