Home
last modified time | relevance | path

Searched defs:new_thread_id (Results 1 – 1 of 1) sorted by relevance

/third_party/rust/rust/src/tools/miri/src/concurrency/
Dthread.rs416 let new_thread_id = ThreadId::new(self.threads.len()); in create_thread() localVariable
823 let new_thread_id = this.machine.threads.create_thread({ in start_regular_thread() localVariable