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/stubs.c | |
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/stubs.c')
-rw-r--r-- | libpager/stubs.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/libpager/stubs.c b/libpager/stubs.c index 84782120..411f4839 100644 --- a/libpager/stubs.c +++ b/libpager/stubs.c @@ -21,7 +21,7 @@ #include <stdio.h> kern_return_t -_pager_seqnos_memory_object_copy (mach_port_t obj, +_pager_seqnos_memory_object_copy (struct pager *p, mach_port_seqno_t seq, memory_object_control_t obj_ctl, vm_offset_t off, @@ -30,13 +30,13 @@ _pager_seqnos_memory_object_copy (mach_port_t obj, { printf ("m_o_copy called\n"); - _pager_update_seqno (obj, seq); + _pager_update_seqno_p (p, seq); return EOPNOTSUPP; } kern_return_t -_pager_seqnos_memory_object_data_write (mach_port_t obj, +_pager_seqnos_memory_object_data_write (struct pager *p, mach_port_seqno_t seq, mach_port_t ctl, vm_offset_t off, @@ -45,13 +45,13 @@ _pager_seqnos_memory_object_data_write (mach_port_t obj, { printf ("m_o_data_write called\n"); - _pager_update_seqno (obj, seq); + _pager_update_seqno_p (p, seq); return EOPNOTSUPP; } kern_return_t -_pager_seqnos_memory_object_supply_completed (mach_port_t obj, +_pager_seqnos_memory_object_supply_completed (struct pager *p, mach_port_seqno_t seq, mach_port_t ctl, vm_offset_t off, @@ -61,7 +61,7 @@ _pager_seqnos_memory_object_supply_completed (mach_port_t obj, { printf ("m_o_supply_completed called\n"); - _pager_update_seqno (obj, seq); + _pager_update_seqno_p (p, seq); return EOPNOTSUPP; } |