Searched refs:ps_tq_active (Results 1 – 2 of 2) sorted by relevance
43 static int ps_tq_active = 0; variable63 if (!ps_tq_active) { in ps_set_intr()64 ps_tq_active = 1; in ps_set_intr()81 ps_tq_active = 0; in ps_tq_int()93 ps_tq_active = 1; in ps_tq_int()
2 If ps_tq is scheduled, ps_tq_active is 1. ps_tq_int() can be called3 only when ps_tq_active is 1.4 Proof: All assignments to ps_tq_active and all scheduling of ps_tq happen8 anything except B, since it is under if (!ps_tq_active) under18 In other words, the sequence of events is (A or C set ps_tq_active to20 B resets ps_tq_active)*.35 * in ps_set_intr(): to check for ps_tq_active and to scheduling36 ps_tq if ps_tq_active was 0.53 3) When there is such a thread, ps_tq_active is 0 or ps_spinlock is69 ps_spinlock and ps_tq_active is 1 (due to Lemma 1). It means that[all …]