• Home
  • Raw
  • Download

Lines Matching refs:in

6 	one in ps_set_intr() (A) and two in ps_tq_int() (B and C).
15 ps_tq_int() are sandwiched between {A,C} and B in that sequence,
17 moments which, in turn, can not exceed the number of A and C.
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()
35 * in ps_set_intr(): to check for ps_tq_active and to scheduling
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
45 * in pi_wake_up() called for PIA that belongs to pd.c, everything from
49 1) at any time at most one thread of execution can be in that area or
56 ->claim_cont or pi_spinlock is held by thread in question.
62 In the first case the thread was already in the area. In the second,
81 (2) can become not true only when pd_lock is released by the thread in question.
82 Indeed, pd_busy is reset only in the area and thread that resets
84 release pd_lock is in pd_next_buf() (called from within the area).
88 the thread that had reset it would be in the area simulateously.
93 by the thread in question. However, all such places within the area are right
99 also in the area. The only place where ->claimed_cont is made non-NULL is
100 in the area, under pi_spinlock and we do not release it until after leaving
107 check its value is in ps_set_intr() and if it had been non-zero at that
117 Corollary 3: assignment to pd_busy in do_pd_read_start() and do_pd_write_start()
121 Corollary 4: in ps_tq_int() uses of con can be replaced with uses of
127 we never pass it NULL. Assignements in the beginning of ps_set_intr()