summaryrefslogtreecommitdiff
path: root/libpager/priv.h
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-04-04 22:57:30 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-04-04 22:57:30 +0200
commit7b31485553ed6a1cbc1ddde0ae3e678e404d1f97 (patch)
tree8e7476d8aefd478e2ab6a72b5bcad49ce48817c4 /libpager/priv.h
parent58f78ea0c81a106cb2b9220eb9290bef15466cd9 (diff)
parentb7cbdde8854ee4c51ec9cd49ce639bd02d646355 (diff)
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/hurd
Diffstat (limited to 'libpager/priv.h')
-rw-r--r--libpager/priv.h1
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);