diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-25 21:11:02 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-25 21:11:02 +0000 |
| commit | e49a405a1aa8349d9a715db0933faaca0c875fb4 (patch) | |
| tree | 53eb3bace4b12776b4fbcbe93dc3fb55d404ad23 /libpager/pager-flush.c | |
| parent | 710b2421c7596c6f0c67b4b227555b7da8f0a428 (diff) | |
entered into RCS
Diffstat (limited to 'libpager/pager-flush.c')
| -rw-r--r-- | libpager/pager-flush.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/libpager/pager-flush.c b/libpager/pager-flush.c index 2601c052..c774c3ab 100644 --- a/libpager/pager-flush.c +++ b/libpager/pager-flush.c @@ -32,8 +32,9 @@ pager_flush (struct pager *p, int wait) } -/* Have the kernel write back some pages of a pager; if WAIT is set, - then wait for them to be finally written before returning. */ +/* Have the kernel write back some pages of a pager from OFFSET to + OFFSET+SIZE; if WAIT is set, then wait for them to be finally + written before returning. */ void pager_flush_some (struct pager *p, vm_address_t offset, vm_size_t size, int wait) |