diff options
| author | Sergey Bugaev <bugaevc@gmail.com> | 2021-05-08 18:31:41 +0300 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-05-08 20:32:55 +0200 |
| commit | 4f79dd28d714dbaf225ac5062ca1f2527567a81d (patch) | |
| tree | 0d782f954d030a518bafc13cd35ed27585e2fd80 /tmpfs | |
| parent | ff88e4aa1d70f2ef218080daf01282f38243d914 (diff) | |
libpager: pager_write_page () should not unmap page
Clarify this in the documentation, and fix the storeio implementation.
Message-Id: <20210508153144.332832-2-bugaevc@gmail.com>
Diffstat (limited to 'tmpfs')
| -rw-r--r-- | tmpfs/pager-stubs.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tmpfs/pager-stubs.c b/tmpfs/pager-stubs.c index 3299e218..883a635e 100644 --- a/tmpfs/pager-stubs.c +++ b/tmpfs/pager-stubs.c @@ -36,9 +36,9 @@ pager_read_page (struct user_pager_info *pager, } /* The user must define this function. For pager PAGER, synchronously - write one page from BUF to offset PAGE. In addition, mfree - (or equivalent) BUF. The only permissible error returns are EIO, - EDQUOT, and ENOSPC. */ + write one page from BUF to offset PAGE. Do not deallocate BUF, and do + not keep any references to BUF. The only permissible error returns + are EIO, EDQUOT, and ENOSPC. */ error_t pager_write_page (struct user_pager_info *pager, vm_offset_t page, |