diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-11-24 08:21:16 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-11-24 08:21:16 +0100 |
| commit | ac67fbb6e2a503e27a579bdd92bfcd180f377ac4 (patch) | |
| tree | 4f2db284b587ac7c61f76f8b9a88cf17af53dfed /libpager/seqnos.c | |
| parent | f1d119a500a9294c81330ecd52a3221578a22bc3 (diff) | |
| download | hurd-ac67fbb6e2a503e27a579bdd92bfcd180f377ac4.tar.gz hurd-ac67fbb6e2a503e27a579bdd92bfcd180f377ac4.tar.bz2 hurd-ac67fbb6e2a503e27a579bdd92bfcd180f377ac4.zip | |
Further port sequence number cleanup.
* libpager/priv.h (struct pager): Make seqno member of type mach_port_seqno_t.
Change all users.
* libpager/seqnos.c (_pager_stubs_update_seqno): Rename to _pager_update_seqno.
Change all users.
* libpager/demuxer.c (pager_demuxer): Make use of _pager_update_seqno.
* libpager/notify-stubs.c: Remove unused attribute where no longer appropriate.
Diffstat (limited to 'libpager/seqnos.c')
| -rw-r--r-- | libpager/seqnos.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libpager/seqnos.c b/libpager/seqnos.c index 7afe0fbe..7d8bcba7 100644 --- a/libpager/seqnos.c +++ b/libpager/seqnos.c @@ -23,7 +23,7 @@ return. */ void _pager_wait_for_seqno (struct pager *p, - int seqno) + mach_port_seqno_t seqno) { while (seqno != p->seqno + 1) { @@ -37,7 +37,7 @@ _pager_wait_for_seqno (struct pager *p, _pager_wait_for_seqno) to be handled. */ void _pager_release_seqno (struct pager *p, - int seqno) + mach_port_seqno_t seqno) { assert (seqno == p->seqno + 1); p->seqno = seqno; @@ -51,8 +51,8 @@ _pager_release_seqno (struct pager *p, /* Just update the seqno. */ void -_pager_stubs_update_seqno (mach_port_t object, - int seqno) +_pager_update_seqno (mach_port_t object, + mach_port_seqno_t seqno) { struct pager *p; |