diff options
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) |