summaryrefslogtreecommitdiff
path: root/libpager/priv.h
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@schwinge.name>2011-11-24 08:21:16 +0100
committerThomas Schwinge <thomas@schwinge.name>2011-11-24 08:21:16 +0100
commitac67fbb6e2a503e27a579bdd92bfcd180f377ac4 (patch)
tree4f2db284b587ac7c61f76f8b9a88cf17af53dfed /libpager/priv.h
parentf1d119a500a9294c81330ecd52a3221578a22bc3 (diff)
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/priv.h')
-rw-r--r--libpager/priv.h8
1 files changed, 4 insertions, 4 deletions
diff --git a/libpager/priv.h b/libpager/priv.h
index 7a4fe6fe..586bccbf 100644
--- a/libpager/priv.h
+++ b/libpager/priv.h
@@ -50,7 +50,7 @@ struct pager
memory_object_control_t memobjcntl;
memory_object_name_t memobjname;
- int seqno;
+ mach_port_seqno_t seqno;
int noterm; /* number of threads blocking termination */
@@ -131,9 +131,9 @@ extern int _pager_page_errors[];
struct port_class *_pager_class;
-void _pager_wait_for_seqno (struct pager *, int);
-void _pager_release_seqno (struct pager *, int);
-void _pager_stubs_update_seqno (mach_port_t, int);
+void _pager_wait_for_seqno (struct pager *, mach_port_seqno_t);
+void _pager_release_seqno (struct pager *, mach_port_seqno_t);
+void _pager_update_seqno (mach_port_t, mach_port_seqno_t);
void _pager_block_termination (struct pager *);
void _pager_allow_termination (struct pager *);
error_t _pager_pagemap_resize (struct pager *, vm_address_t);