Searched defs:release_memory_tube (Results 1 – 1 of 1) sorted by relevance
883 release_memory_tube: Option<Tube>, field1172 release_memory_tube: Option<Tube>, field1340 let release_memory_tube = self.release_memory_tube.take(); in start_worker() localVariable