diff options
| author | Sergio Lopez <koro@sinrega.org> | 2005-08-10 17:33:37 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-11-24 08:17:33 +0100 |
| commit | f1d119a500a9294c81330ecd52a3221578a22bc3 (patch) | |
| tree | d206cd12ceea487e414a25c5c393ea0823ce7482 /libpager/priv.h | |
| parent | 05f5cc229323a61799388fbb52da84ca8cb502c9 (diff) | |
Don't forget to update port sequence numbers in stub functions.
* seqnos.c (_pager_stubs_update_seqno): New function.
* priv.h (_pager_stubs_update_seqno): New function.
* notify-stubs.c (_pager_do_seqnos_mach_notify_port_deleted):
Call _pager_stubs_update_seqno to properly update seqno.
(_pager_do_seqnos_mach_notify_msg_accepted): Likewise.
(_pager_do_seqnos_mach_notify_port_destroyed): Likewise.
(_pager_do_seqnos_mach_notify_send_once): Likewise.
(_pager_do_seqnos_mach_notify_dead_name): Likewise.
* stubs.c (_pager_seqnos_memory_object_copy): Likewise.
(_pager_seqnos_memory_object_data_write): Likewise.
(_pager_seqnos_memory_object_supply_completed): Likewise.
Diffstat (limited to 'libpager/priv.h')
| -rw-r--r-- | libpager/priv.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libpager/priv.h b/libpager/priv.h index 80afff1b..7a4fe6fe 100644 --- a/libpager/priv.h +++ b/libpager/priv.h @@ -1,5 +1,5 @@ /* Private data for pager library. - Copyright (C) 1994,95,96,97,99, 2000 Free Software Foundation, Inc. + Copyright (C) 1994-1997, 1999, 2000, 2011 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as @@ -133,6 +133,7 @@ struct port_class *_pager_class; void _pager_wait_for_seqno (struct pager *, int); void _pager_release_seqno (struct pager *, int); +void _pager_stubs_update_seqno (mach_port_t, int); void _pager_block_termination (struct pager *); void _pager_allow_termination (struct pager *); error_t _pager_pagemap_resize (struct pager *, vm_address_t); |