diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-03 20:48:20 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-02 17:44:00 +0200 |
commit | b7cbdde8854ee4c51ec9cd49ce639bd02d646355 (patch) | |
tree | 7c1cf1b5011763d20584733d2bb7be1b586b667a /libpager/priv.h | |
parent | 64b5d358fcaa039ca2e7634aceaa5ed4c3a10cc4 (diff) |
libpager: fix receiver lookups
Previously, the receiver lookup was done manually in all the server
functions. Use mig translator functions instead.
* libpager/mig-decls.h: New file.
* libpager/mig-mutate.h: Likewise.
* libpager/Makefile (MIGSFLAGS): Include mig-mutate.h.
* libpager/chg-compl.c: Fix receiver lookups.
* libpager/data-request.c: Likewise.
* libpager/data-return.c: Likewise.
* libpager/data-unlock.c: Likewise.
* libpager/lock-completed.c: Likewise.
* libpager/object-init.c: Likewise.
* libpager/object-terminate.c: Likewise.
* libpager/stubs.c: Likewise.
* libpager/seqnos.c (_pager_update_seqno): Move the actual
functionality...
(_pager_update_seqno_p): ... into a new function that can be called
with a pointer to struct pager.
* libpager/priv.h (_pager_update_seqno_p): New declaration.
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); |