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