diff options
| author | Miles Bader <miles@gnu.org> | 1996-02-21 00:28:06 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-02-21 00:28:06 +0000 |
| commit | a095bd1c020058adfbddb1606d368830268c545d (patch) | |
| tree | 0bd79a98bffe2b7e60a9b54fbd3934c4808ecc2a /libports/ports.h | |
| parent | 4d410d3af77e2b557fa2a04de65a9d5d1fe93c2b (diff) | |
(_pager_seqnos_memory_object_terminate):
Always wait for and release SEQNO if OBJECT is a valid pager.
Diffstat (limited to 'libports/ports.h')
0 files changed, 0 insertions, 0 deletions