Lines Matching refs:of

4 Proof:	All assignments to ps_tq_active and all scheduling of ps_tq happen
7 	Consider the sequnce of these events.  A can not be preceded by
11 	IOW, the sequence is A?(BA|BC|B)*.  OTOH, number of B can not exceed
12 	the sum of numbers of A and C, since each call of ps_tq_int() is
13 	the result of ps_tq execution.  Therefore, the sequence starts with
16 	since at any time number of B can not exceed the number of these
17 	moments which, in turn, can not exceed the number of A and C.
18 	In other words, the sequence of events is (A or C set ps_tq_active to
24 	* in do_pd_request1(): to calls of pi_do_claimed() and return in
26 	* in next_request(): to call of do_pd_request1()
27 	* in do_pd_read(): to call of ps_set_intr()
28 	* in do_pd_read_start(): to calls of pi_do_claimed(), next_request()
30 	* in do_pd_read_drq(): to calls of pi_do_claimed() and next_request()
31 	* in do_pd_write(): to call of ps_set_intr()
32 	* in do_pd_write_start(): to calls of pi_do_claimed(), next_request()
34 	* in do_pd_write_done(): to calls of pi_do_claimed() and next_request()
38 	  return, call of con() or scheduling ps_tq.
43 	  of pi_do_claimed() plus the everything until the call of cont() if
49 	1) at any time at most one thread of execution can be in that area or
114 immediate release of spinlock and beginning of execution of ps_tq on
121 Corollary 4: in ps_tq_int() uses of con can be replaced with uses of
124 will be a call of ps_set_intr() before we look at ps_continuation again.
127 we never pass it NULL.  Assignements in the beginning of ps_set_intr()