d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add assertion and comment in vm_page_flag_set() describing the expectations

Browse Source 
when the PG_WRITEABLE flag is set.

Reviewed by:	alc
This commit is contained in:
Konstantin Belousov 2010-06-03 10:11:45 +00:00
parent a41dcb6d1c
commit 2bbfbc3fe2
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=208772
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
sys/vm/vm_page.c
View File

@ -486,6 +486,14 @@ vm_page_flag_set(vm_page_t m, unsigned short bits)
{
mtx_assert(&vm_page_queue_mtx, MA_OWNED);
/*
* For a managed page, the PG_WRITEABLE flag can be set only if
* the page is VPO_BUSY. Currently this flag is only set by
* pmap_enter().
*/
KASSERT((bits & PG_WRITEABLE) == 0 ||
(m->flags & (PG_UNMANAGED | PG_FICTITIOUS)) != 0 ||
(m->oflags & VPO_BUSY) != 0, ("PG_WRITEABLE and !VPO_BUSY"));
m->flags |= bits;
}