Searched refs:notify_num (Results 1 – 1 of 1) sorted by relevance
57 notify_num: 0, in new()151 notify_num: u8, field220 shared.notify_num += 1; in spawn()267 if shared.notify_num != 0 { in wait_permanent()268 shared.notify_num -= 1; in wait_permanent()290 if shared.notify_num != 0 { in wait_temporary()291 shared.notify_num -= 1; in wait_temporary()