Lines Matching refs:ps_tq_active

2 	If ps_tq is scheduled, ps_tq_active is 1.  ps_tq_int() can be called
3 	only when ps_tq_active is 1.
4 Proof:	All assignments to ps_tq_active and all scheduling of ps_tq happen
8 	anything except B, since it is under if (!ps_tq_active) under
18 	In other words, the sequence of events is (A or C set ps_tq_active to
20 	B resets ps_tq_active)*.
35 	* in ps_set_intr(): to check for ps_tq_active and to scheduling
36 	  ps_tq if ps_tq_active was 0.
53 	3) When there is such a thread, ps_tq_active is 0 or ps_spinlock is
69 	   ps_spinlock and ps_tq_active is 1 (due to Lemma 1).  It means that
94 after resetting ps_tq_active to 0.
106 Corollary 1: ps_tq_active can be killed.  Indeed, the only place where we