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 | 649064183123b070305901b480066afdad4786c1 (patch) | |
| tree | 90aa1b67ecb8799c4d91a7f766164a1ea6a04354 | |
| parent | ef6f0c8efeb9c5491008172e6b258f5902015fcf (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); |