diff options
| author | Miles Bader <miles@gnu.org> | 1995-09-06 15:03:28 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-09-06 15:03:28 +0000 |
| commit | ccfe3f8be8f4f04230f781b547d6d7cda5839dfc (patch) | |
| tree | ced082d792020c8672c81d758f9b90c52fe1f2ab /libports/notify-port-deleted.c | |
| parent | 4335fed52bc306486c5124a2e6f8ffce95b4d858 (diff) | |
(diskfs_pager_users): Ignore the disk pager when seeing if there are any
active pagers.
Diffstat (limited to 'libports/notify-port-deleted.c')
0 files changed, 0 insertions, 0 deletions