Searched refs:current_permanent_thread_num (Results 1 – 1 of 1) sorted by relevance
58 current_permanent_thread_num: 0, in new()154 current_permanent_thread_num: u8, field262 shared.current_permanent_thread_num += 1; in wait_permanent()264 shared.current_permanent_thread_num -= 1; in wait_permanent()316 if shared.current_permanent_thread_num < self.max_permanent_thread_num { in wait()