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> --- libpager/pager.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'libpager/pager.h') diff --git a/libpager/pager.h b/libpager/pager.h index d2a8d397..dd8026a7 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -191,9 +191,9 @@ pager_read_page (struct user_pager_info *pager, int *write_lock); /* 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