diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-11-24 09:42:28 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-11-24 09:42:28 +0100 |
| commit | 3253311ede487203c84fab4f8af696671f0f6568 (patch) | |
| tree | a76e66c052e02409aa08a9ea57ccb4d319d2eec7 /libpager/priv.h | |
| parent | 473aaa2d4d27ee40b00bcb64b8f6f6450a61209e (diff) | |
| parent | ac67fbb6e2a503e27a579bdd92bfcd180f377ac4 (diff) | |
Merge remote-tracking branch 'darnassus/master'
Diffstat (limited to 'libpager/priv.h')
| -rw-r--r-- | libpager/priv.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/libpager/priv.h b/libpager/priv.h index 80afff1b..586bccbf 100644 --- a/libpager/priv.h +++ b/libpager/priv.h @@ -1,5 +1,5 @@ /* Private data for pager library. - Copyright (C) 1994,95,96,97,99, 2000 Free Software Foundation, Inc. + Copyright (C) 1994-1997, 1999, 2000, 2011 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as @@ -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,8 +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_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); |