From 4f79dd28d714dbaf225ac5062ca1f2527567a81d Mon Sep 17 00:00:00 2001 From: Sergey Bugaev Date: Sat, 8 May 2021 18:31:41 +0300 Subject: 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> --- tmpfs/pager-stubs.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tmpfs/pager-stubs.c') 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, -- cgit v1.2.3