diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-04-04 22:57:30 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-04-04 22:57:30 +0200 |
commit | 7b31485553ed6a1cbc1ddde0ae3e678e404d1f97 (patch) | |
tree | 8e7476d8aefd478e2ab6a72b5bcad49ce48817c4 /libpager/priv.h | |
parent | 58f78ea0c81a106cb2b9220eb9290bef15466cd9 (diff) | |
parent | b7cbdde8854ee4c51ec9cd49ce639bd02d646355 (diff) |
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/hurd
Diffstat (limited to 'libpager/priv.h')
-rw-r--r-- | libpager/priv.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libpager/priv.h b/libpager/priv.h index 7aa0fb44..d49cbb9d 100644 --- a/libpager/priv.h +++ b/libpager/priv.h @@ -139,6 +139,7 @@ struct port_class *_pager_class; 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_update_seqno_p (struct pager *, 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); |