Lines Matching full:when
3 only when ps_tq_active is 1.
14 A and each B is preceded by either A or C. Moments when we enter
25 case when pd_req is NULL.
37 * in ps_tq_int(): from the moment when we get ps_spinlock() to the
39 * in pi_schedule_claimed() when called from pi_do_claimed() called from
42 * in pi_do_claimed() when called from pd.c, everything until the call
46 the moment when pi_spinlock has been acquired.
51 2) When there is such a thread, pd_busy is set or pd_lock is held by
53 3) When there is such a thread, ps_tq_active is 0 or ps_spinlock is
55 4) When there is such a thread, all PIA belonging to pd.c have NULL
58 Proof: consider the first moment when the above is not true.
68 d) ps_tq_int() can enter the area only when the thread is holding
77 f) pi_wake_up() can enter the area only when the thread is holding
81 (2) can become not true only when pd_lock is released by the thread in question.
86 0 when pd_next_buf() had acquired pd_lock. If it become 0 while
92 For similar reasons, (3) can become not true only when ps_spinlock is released
109 was acquiring ps_spinlock) or (2.3) (if it was set when we started to