diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-12-07 17:22:31 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-12-10 13:45:05 +0100 |
| commit | f878de5006045c849415afffaffc909458b5f6de (patch) | |
| tree | 7fb35887cabc60987614b02b45eb2ae0517bda4a /libpager/notify-stubs.c | |
| parent | 808073c49814b415b7ad6226a3e8c95bb1dbc277 (diff) | |
libpager: remove the `seqno' parameters
* libpager/Makefile (MIGSFLAGS): Drop `-DSEQNOS'.
* libpager/priv.h (struct pager): Drop fields `seqno' and `waitingforseqno'.
* libpager/chg-compl.c: Adopt accordingly.
* libpager/data-request.c: Likewise.
* libpager/data-return.c: Likewise.
* libpager/data-unlock.c: Likewise.
* libpager/demuxer.c: Likewise.
* libpager/lock-completed.c: Likewise.
* libpager/no-senders.c: Likewise.
* libpager/notify-stubs.c: Likewise.
* libpager/object-init.c: Likewise.
* libpager/object-terminate.c: Likewise.
* libpager/pager-create.c: Likewise.
* libpager/stubs.c: Likewise.
Diffstat (limited to 'libpager/notify-stubs.c')
| -rw-r--r-- | libpager/notify-stubs.c | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/libpager/notify-stubs.c b/libpager/notify-stubs.c index a8264203..64408157 100644 --- a/libpager/notify-stubs.c +++ b/libpager/notify-stubs.c @@ -23,8 +23,7 @@ #include <errno.h> error_t -_pager_do_seqnos_mach_notify_port_deleted (struct port_info *pi, - mach_port_seqno_t seqno, +_pager_do_mach_notify_port_deleted (struct port_info *pi, mach_port_t name __attribute__ ((unused))) { @@ -32,8 +31,7 @@ _pager_do_seqnos_mach_notify_port_deleted (struct port_info *pi, } error_t -_pager_do_seqnos_mach_notify_msg_accepted (struct port_info *pi, - mach_port_seqno_t seqno, +_pager_do_mach_notify_msg_accepted (struct port_info *pi, mach_port_t name __attribute__ ((unused))) { @@ -41,8 +39,7 @@ _pager_do_seqnos_mach_notify_msg_accepted (struct port_info *pi, } error_t -_pager_do_seqnos_mach_notify_port_destroyed (struct port_info *pi, - mach_port_seqno_t seqno, +_pager_do_mach_notify_port_destroyed (struct port_info *pi, mach_port_t name __attribute__ ((unused))) { @@ -50,15 +47,13 @@ _pager_do_seqnos_mach_notify_port_destroyed (struct port_info *pi, } error_t -_pager_do_seqnos_mach_notify_send_once (struct port_info *pi, - mach_port_seqno_t seqno) +_pager_do_mach_notify_send_once (struct port_info *pi) { return 0; } error_t -_pager_do_seqnos_mach_notify_dead_name (struct port_info *pi, - mach_port_seqno_t seqno, +_pager_do_mach_notify_dead_name (struct port_info *pi, mach_port_t name __attribute__ ((unused))) { |