diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-05-15 17:14:45 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-05-15 17:14:45 +0000 |
| commit | 763cca7a08c3935945e8c29d2569e4cd85a35829 (patch) | |
| tree | f651dcfd6ab68aa913f888e7dde2399c9e643731 | |
| parent | 0b6693ea4058ee760740a656d832507b5bf1f9d3 (diff) | |
(pager_clear_user_data): Doc fix.
| -rw-r--r-- | ufs/pager.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ufs/pager.c b/ufs/pager.c index 35bf1d22..3e9747b8 100644 --- a/ufs/pager.c +++ b/ufs/pager.c @@ -358,6 +358,7 @@ pager_report_extent (struct user_pager_info *pager, void pager_clear_user_data (struct user_pager_info *upi) { + /* XXX Do the right thing for the disk pager here too. */ if (upi->type == FILE_DATA) { spin_lock (&node2pagelock); |