47 |
condition_broadcast (&p->wakeup); |
condition_broadcast (&p->wakeup); |
48 |
} |
} |
49 |
} |
} |
50 |
|
|
51 |
|
|
52 |
|
/* This function is called by stub functions to properly update |
53 |
|
seqno. */ |
54 |
|
void |
55 |
|
_pager_stubs_update_seqno (mach_port_t object, |
56 |
|
int seqno) |
57 |
|
{ |
58 |
|
struct pager *p; |
59 |
|
|
60 |
|
p = ports_lookup_port (0, object, _pager_class); |
61 |
|
if (p) |
62 |
|
{ |
63 |
|
mutex_lock (&p->interlock); |
64 |
|
_pager_wait_for_seqno (p, seqno); |
65 |
|
_pager_release_seqno (p, seqno); |
66 |
|
mutex_unlock (&p->interlock); |
67 |
|
|
68 |
|
ports_port_deref (p); |
69 |
|
} |
70 |
|
} |
71 |
|
|