Home | History | Annotate | Line # | Download | only in uvm
uvm_anon.c revision 1.66
      1  1.66        ad /*	$NetBSD: uvm_anon.c,v 1.66 2019/12/01 17:02:50 ad Exp $	*/
      2   1.1     chuck 
      3   1.1     chuck /*
      4   1.1     chuck  * Copyright (c) 1997 Charles D. Cranor and Washington University.
      5   1.1     chuck  * All rights reserved.
      6   1.1     chuck  *
      7   1.1     chuck  * Redistribution and use in source and binary forms, with or without
      8   1.1     chuck  * modification, are permitted provided that the following conditions
      9   1.1     chuck  * are met:
     10   1.1     chuck  * 1. Redistributions of source code must retain the above copyright
     11   1.1     chuck  *    notice, this list of conditions and the following disclaimer.
     12   1.1     chuck  * 2. Redistributions in binary form must reproduce the above copyright
     13   1.1     chuck  *    notice, this list of conditions and the following disclaimer in the
     14   1.1     chuck  *    documentation and/or other materials provided with the distribution.
     15   1.1     chuck  *
     16   1.1     chuck  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     17   1.1     chuck  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     18   1.1     chuck  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     19   1.1     chuck  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     20   1.1     chuck  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     21   1.1     chuck  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     22   1.1     chuck  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     23   1.1     chuck  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     24   1.1     chuck  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     25   1.1     chuck  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26   1.1     chuck  */
     27   1.1     chuck 
     28   1.1     chuck /*
     29   1.1     chuck  * uvm_anon.c: uvm anon ops
     30   1.1     chuck  */
     31  1.21     lukem 
     32  1.21     lukem #include <sys/cdefs.h>
     33  1.66        ad __KERNEL_RCSID(0, "$NetBSD: uvm_anon.c,v 1.66 2019/12/01 17:02:50 ad Exp $");
     34   1.1     chuck 
     35   1.1     chuck #include "opt_uvmhist.h"
     36   1.1     chuck 
     37   1.1     chuck #include <sys/param.h>
     38   1.1     chuck #include <sys/systm.h>
     39   1.1     chuck #include <sys/pool.h>
     40   1.5       chs #include <sys/kernel.h>
     41   1.1     chuck 
     42   1.1     chuck #include <uvm/uvm.h>
     43   1.1     chuck #include <uvm/uvm_swap.h>
     44  1.39      yamt #include <uvm/uvm_pdpolicy.h>
     45   1.1     chuck 
     46  1.55     rmind static struct pool_cache	uvm_anon_cache;
     47   1.5       chs 
     48  1.55     rmind static int			uvm_anon_ctor(void *, void *, int);
     49   1.5       chs 
     50   1.1     chuck void
     51  1.34   thorpej uvm_anon_init(void)
     52   1.1     chuck {
     53   1.5       chs 
     54  1.49        ad 	pool_cache_bootstrap(&uvm_anon_cache, sizeof(struct vm_anon), 0, 0,
     55  1.49        ad 	    PR_LARGECACHE, "anonpl", NULL, IPL_NONE, uvm_anon_ctor,
     56  1.55     rmind 	    NULL, NULL);
     57   1.1     chuck }
     58   1.1     chuck 
     59  1.33      yamt static int
     60  1.41      yamt uvm_anon_ctor(void *arg, void *object, int flags)
     61   1.1     chuck {
     62  1.33      yamt 	struct vm_anon *anon = object;
     63   1.1     chuck 
     64  1.33      yamt 	anon->an_ref = 0;
     65  1.59     rmind 	anon->an_lock = NULL;
     66  1.33      yamt 	anon->an_page = NULL;
     67  1.37      yamt #if defined(VMSWAP)
     68  1.33      yamt 	anon->an_swslot = 0;
     69  1.55     rmind #endif
     70  1.11       chs 	return 0;
     71   1.1     chuck }
     72   1.1     chuck 
     73   1.1     chuck /*
     74  1.55     rmind  * uvm_analloc: allocate a new anon.
     75  1.13   thorpej  *
     76  1.55     rmind  * => anon will have no lock associated.
     77   1.1     chuck  */
     78   1.1     chuck struct vm_anon *
     79  1.34   thorpej uvm_analloc(void)
     80   1.1     chuck {
     81  1.33      yamt 	struct vm_anon *anon;
     82   1.1     chuck 
     83  1.47        ad 	anon = pool_cache_get(&uvm_anon_cache, PR_NOWAIT);
     84  1.33      yamt 	if (anon) {
     85  1.33      yamt 		KASSERT(anon->an_ref == 0);
     86  1.59     rmind 		KASSERT(anon->an_lock == NULL);
     87  1.33      yamt 		KASSERT(anon->an_page == NULL);
     88  1.37      yamt #if defined(VMSWAP)
     89  1.33      yamt 		KASSERT(anon->an_swslot == 0);
     90  1.55     rmind #endif
     91  1.33      yamt 		anon->an_ref = 1;
     92   1.1     chuck 	}
     93  1.33      yamt 	return anon;
     94   1.1     chuck }
     95   1.1     chuck 
     96   1.1     chuck /*
     97  1.66        ad  * uvm_anon_dispose: break loans and remove pmap mapping
     98   1.1     chuck  *
     99  1.55     rmind  * => anon must be removed from the amap (if anon was in an amap).
    100  1.59     rmind  * => amap must be locked; we may drop and re-acquire the lock here.
    101   1.1     chuck  */
    102  1.60     rmind static bool
    103  1.59     rmind uvm_anon_dispose(struct vm_anon *anon)
    104   1.1     chuck {
    105  1.55     rmind 	struct vm_page *pg = anon->an_page;
    106  1.55     rmind 
    107  1.59     rmind 	UVMHIST_FUNC("uvm_anon_dispose"); UVMHIST_CALLED(maphist);
    108  1.64  pgoyette 	UVMHIST_LOG(maphist,"(anon=0x%#jx)", (uintptr_t)anon, 0,0,0);
    109   1.1     chuck 
    110  1.59     rmind 	KASSERT(mutex_owned(anon->an_lock));
    111  1.12   thorpej 
    112   1.1     chuck 	/*
    113  1.66        ad 	 * Dispose the page, if it is resident.
    114   1.1     chuck 	 */
    115   1.1     chuck 
    116  1.66        ad 	if (pg) {
    117  1.54     rmind 		KASSERT(anon->an_lock != NULL);
    118   1.1     chuck 
    119  1.66        ad 		/*
    120  1.66        ad 		 * If there is a resident page and it is loaned, then anon
    121  1.66        ad 		 * may not own it.  Call out to uvm_anon_lockloanpg() to
    122  1.66        ad 		 * identify and lock the real owner of the page.
    123  1.66        ad 		 */
    124   1.1     chuck 
    125  1.66        ad 		if (pg->loan_count) {
    126  1.66        ad 			pg = uvm_anon_lockloanpg(anon);
    127  1.66        ad 		}
    128   1.1     chuck 
    129   1.1     chuck 		/*
    130  1.55     rmind 		 * If the page is owned by a UVM object (now locked),
    131  1.55     rmind 		 * then kill the loan on the page rather than free it,
    132  1.55     rmind 		 * and release the object lock.
    133   1.1     chuck 		 */
    134   1.1     chuck 
    135   1.1     chuck 		if (pg->uobject) {
    136  1.50        ad 			mutex_enter(&uvm_pageqlock);
    137  1.10       chs 			KASSERT(pg->loan_count > 0);
    138   1.1     chuck 			pg->loan_count--;
    139   1.1     chuck 			pg->uanon = NULL;
    140  1.50        ad 			mutex_exit(&uvm_pageqlock);
    141  1.54     rmind 			mutex_exit(pg->uobject->vmobjlock);
    142   1.1     chuck 		} else {
    143   1.1     chuck 
    144   1.1     chuck 			/*
    145  1.55     rmind 			 * If page has no UVM object, then anon is the owner,
    146  1.55     rmind 			 * and it is already locked.
    147   1.1     chuck 			 */
    148   1.1     chuck 
    149  1.18       chs 			KASSERT((pg->flags & PG_RELEASED) == 0);
    150  1.18       chs 			pmap_page_protect(pg, VM_PROT_NONE);
    151  1.29      yamt 
    152  1.29      yamt 			/*
    153  1.55     rmind 			 * If the page is busy, mark it as PG_RELEASED, so
    154  1.55     rmind 			 * that uvm_anon_release(9) would release it later.
    155  1.29      yamt 			 */
    156  1.29      yamt 
    157  1.29      yamt 			if (pg->flags & PG_BUSY) {
    158  1.29      yamt 				pg->flags |= PG_RELEASED;
    159  1.58      yamt 				mutex_obj_hold(anon->an_lock);
    160  1.60     rmind 				return false;
    161  1.17       chs 			}
    162   1.1     chuck 		}
    163   1.1     chuck 	}
    164  1.55     rmind 
    165  1.37      yamt #if defined(VMSWAP)
    166  1.26        pk 	if (pg == NULL && anon->an_swslot > 0) {
    167  1.55     rmind 		/* This page is no longer only in swap. */
    168  1.20       chs 		KASSERT(uvmexp.swpgonly > 0);
    169  1.65        ad 		atomic_dec_uint(&uvmexp.swpgonly);
    170  1.20       chs 	}
    171  1.55     rmind #endif
    172   1.1     chuck 
    173  1.59     rmind 	UVMHIST_LOG(maphist,"<- done!",0,0,0,0);
    174  1.60     rmind 	return true;
    175  1.59     rmind }
    176  1.59     rmind 
    177  1.59     rmind /*
    178  1.59     rmind  * uvm_anon_free: free a single anon.
    179  1.59     rmind  *
    180  1.59     rmind  * => anon must be already disposed.
    181  1.59     rmind  */
    182  1.59     rmind void
    183  1.59     rmind uvm_anon_free(struct vm_anon *anon)
    184  1.59     rmind {
    185  1.39      yamt 
    186  1.66        ad #if defined(VMSWAP)
    187  1.66        ad 	/* Free any dangling swap slot. */
    188  1.66        ad 	uvm_anon_dropswap(anon);
    189  1.66        ad #endif
    190  1.59     rmind 	KASSERT(anon->an_ref == 0);
    191  1.59     rmind 	KASSERT(anon->an_lock == NULL);
    192  1.33      yamt 	KASSERT(anon->an_page == NULL);
    193  1.37      yamt #if defined(VMSWAP)
    194  1.31      yamt 	KASSERT(anon->an_swslot == 0);
    195  1.55     rmind #endif
    196  1.47        ad 	pool_cache_put(&uvm_anon_cache, anon);
    197   1.2       chs }
    198   1.2       chs 
    199  1.55     rmind /*
    200  1.59     rmind  * uvm_anon_freelst: free a linked list of anon structures.
    201  1.59     rmind  *
    202  1.66        ad  * => amap must be locked, we will unlock it.
    203  1.55     rmind  */
    204  1.54     rmind void
    205  1.59     rmind uvm_anon_freelst(struct vm_amap *amap, struct vm_anon *anonlst)
    206  1.54     rmind {
    207  1.61      yamt 	struct vm_anon *anon;
    208  1.61      yamt 	struct vm_anon **anonp = &anonlst;
    209  1.66        ad 	struct vm_page *pg;
    210  1.59     rmind 
    211  1.59     rmind 	KASSERT(mutex_owned(amap->am_lock));
    212  1.66        ad 
    213  1.66        ad 	if (anonlst == NULL) {
    214  1.66        ad 		amap_unlock(amap);
    215  1.66        ad 		return;
    216  1.66        ad 	}
    217  1.66        ad 
    218  1.66        ad 	/* Break loans and hardware mappings.  Defer release of busy pages. */
    219  1.61      yamt 	while ((anon = *anonp) != NULL) {
    220  1.60     rmind 		if (!uvm_anon_dispose(anon)) {
    221  1.60     rmind 			/* Do not free this anon. */
    222  1.61      yamt 			*anonp = anon->an_link;
    223  1.61      yamt 			/* Note: clears an_ref as well. */
    224  1.61      yamt 			anon->an_link = NULL;
    225  1.61      yamt 		} else {
    226  1.61      yamt 			anonp = &anon->an_link;
    227  1.60     rmind 		}
    228  1.59     rmind 	}
    229  1.66        ad 
    230  1.66        ad 	/* Free pages and leave a page replacement hint. */
    231  1.66        ad 	mutex_enter(&uvm_pageqlock);
    232  1.66        ad 	for (anon = anonlst; anon != NULL; anon = anon->an_link) {
    233  1.66        ad 		UVMHIST_LOG(maphist, "anon 0x%#jx, page 0x%#jx: "
    234  1.66        ad 		    "releasing now!", (uintptr_t)anon,
    235  1.66        ad 		    (uintptr_t)anon->an_page, 0, 0);
    236  1.66        ad 		if ((pg = anon->an_page) != NULL) {
    237  1.66        ad 			uvm_pagefree(pg);
    238  1.66        ad 		}
    239  1.66        ad 		uvmpdpol_anfree(anon);
    240  1.66        ad 	}
    241  1.66        ad 	mutex_exit(&uvm_pageqlock);
    242  1.59     rmind 	amap_unlock(amap);
    243  1.59     rmind 
    244  1.66        ad 	/* Free swap space, pages and vm_anon. */
    245  1.59     rmind 	while (anonlst) {
    246  1.59     rmind 		anon = anonlst->an_link;
    247  1.59     rmind 		/* Note: clears an_ref as well. */
    248  1.59     rmind 		anonlst->an_link = NULL;
    249  1.59     rmind 		anonlst->an_lock = NULL;
    250  1.59     rmind 		uvm_anon_free(anonlst);
    251  1.59     rmind 		anonlst = anon;
    252  1.54     rmind 	}
    253  1.54     rmind }
    254  1.54     rmind 
    255   1.2       chs /*
    256  1.55     rmind  * uvm_anon_lockloanpg: given a locked anon, lock its resident page owner.
    257   1.1     chuck  *
    258   1.1     chuck  * => anon is locked by caller
    259   1.1     chuck  * => on return: anon is locked
    260   1.1     chuck  *		 if there is a resident page:
    261   1.1     chuck  *			if it has a uobject, it is locked by us
    262   1.1     chuck  *			if it is ownerless, we take over as owner
    263   1.1     chuck  *		 we return the resident page (it can change during
    264   1.1     chuck  *		 this function)
    265   1.1     chuck  * => note that the only time an anon has an ownerless resident page
    266   1.1     chuck  *	is if the page was loaned from a uvm_object and the uvm_object
    267   1.1     chuck  *	disowned it
    268   1.1     chuck  * => this only needs to be called when you want to do an operation
    269   1.1     chuck  *	on an anon's resident page and that page has a non-zero loan
    270   1.1     chuck  *	count.
    271   1.1     chuck  */
    272   1.1     chuck struct vm_page *
    273  1.34   thorpej uvm_anon_lockloanpg(struct vm_anon *anon)
    274   1.1     chuck {
    275   1.1     chuck 	struct vm_page *pg;
    276  1.43   thorpej 	bool locked = false;
    277   1.1     chuck 
    278  1.54     rmind 	KASSERT(mutex_owned(anon->an_lock));
    279  1.12   thorpej 
    280   1.1     chuck 	/*
    281   1.1     chuck 	 * loop while we have a resident page that has a non-zero loan count.
    282   1.1     chuck 	 * if we successfully get our lock, we will "break" the loop.
    283   1.1     chuck 	 * note that the test for pg->loan_count is not protected -- this
    284   1.1     chuck 	 * may produce false positive results.   note that a false positive
    285   1.1     chuck 	 * result may cause us to do more work than we need to, but it will
    286   1.1     chuck 	 * not produce an incorrect result.
    287   1.1     chuck 	 */
    288   1.1     chuck 
    289  1.33      yamt 	while (((pg = anon->an_page) != NULL) && pg->loan_count != 0) {
    290   1.1     chuck 
    291   1.1     chuck 		/*
    292   1.1     chuck 		 * quickly check to see if the page has an object before
    293   1.1     chuck 		 * bothering to lock the page queues.   this may also produce
    294   1.1     chuck 		 * a false positive result, but that's ok because we do a real
    295   1.1     chuck 		 * check after that.
    296   1.1     chuck 		 */
    297   1.1     chuck 
    298   1.1     chuck 		if (pg->uobject) {
    299  1.50        ad 			mutex_enter(&uvm_pageqlock);
    300  1.18       chs 			if (pg->uobject) {
    301   1.1     chuck 				locked =
    302  1.54     rmind 				    mutex_tryenter(pg->uobject->vmobjlock);
    303   1.1     chuck 			} else {
    304   1.1     chuck 				/* object disowned before we got PQ lock */
    305  1.43   thorpej 				locked = true;
    306   1.1     chuck 			}
    307  1.50        ad 			mutex_exit(&uvm_pageqlock);
    308   1.1     chuck 
    309   1.1     chuck 			/*
    310   1.1     chuck 			 * if we didn't get a lock (try lock failed), then we
    311   1.1     chuck 			 * toggle our anon lock and try again
    312   1.1     chuck 			 */
    313   1.1     chuck 
    314   1.1     chuck 			if (!locked) {
    315   1.1     chuck 				/*
    316   1.1     chuck 				 * someone locking the object has a chance to
    317   1.1     chuck 				 * lock us right now
    318  1.54     rmind 				 *
    319  1.54     rmind 				 * XXX Better than yielding but inadequate.
    320   1.1     chuck 				 */
    321  1.54     rmind 				kpause("livelock", false, 1, anon->an_lock);
    322  1.10       chs 				continue;
    323   1.1     chuck 			}
    324   1.1     chuck 		}
    325   1.1     chuck 
    326   1.1     chuck 		/*
    327  1.55     rmind 		 * If page is un-owned i.e. the object dropped its ownership,
    328  1.55     rmind 		 * then we have to take the ownership.
    329   1.1     chuck 		 */
    330   1.1     chuck 
    331   1.1     chuck 		if (pg->uobject == NULL && (pg->pqflags & PQ_ANON) == 0) {
    332  1.50        ad 			mutex_enter(&uvm_pageqlock);
    333  1.18       chs 			pg->pqflags |= PQ_ANON;
    334  1.18       chs 			pg->loan_count--;
    335  1.50        ad 			mutex_exit(&uvm_pageqlock);
    336   1.1     chuck 		}
    337   1.1     chuck 		break;
    338   1.1     chuck 	}
    339  1.55     rmind 	return pg;
    340   1.5       chs }
    341   1.5       chs 
    342  1.37      yamt #if defined(VMSWAP)
    343  1.37      yamt 
    344   1.5       chs /*
    345  1.55     rmind  * uvm_anon_pagein: fetch an anon's page.
    346   1.5       chs  *
    347   1.5       chs  * => anon must be locked, and is unlocked upon return.
    348  1.43   thorpej  * => returns true if pagein was aborted due to lack of memory.
    349   1.5       chs  */
    350   1.5       chs 
    351  1.42   thorpej bool
    352  1.57     rmind uvm_anon_pagein(struct vm_amap *amap, struct vm_anon *anon)
    353   1.5       chs {
    354   1.5       chs 	struct vm_page *pg;
    355   1.5       chs 	struct uvm_object *uobj;
    356   1.8   thorpej 
    357  1.54     rmind 	KASSERT(mutex_owned(anon->an_lock));
    358  1.57     rmind 	KASSERT(anon->an_lock == amap->am_lock);
    359  1.12   thorpej 
    360   1.8   thorpej 	/*
    361  1.55     rmind 	 * Get the page of the anon.
    362   1.8   thorpej 	 */
    363   1.5       chs 
    364  1.57     rmind 	switch (uvmfault_anonget(NULL, amap, anon)) {
    365  1.16       chs 	case 0:
    366  1.55     rmind 		/* Success - we have the page. */
    367  1.55     rmind 		KASSERT(mutex_owned(anon->an_lock));
    368   1.5       chs 		break;
    369  1.16       chs 	case EIO:
    370  1.16       chs 	case ERESTART:
    371   1.5       chs 		/*
    372  1.55     rmind 		 * Nothing more to do on errors.  ERESTART means that the
    373  1.55     rmind 		 * anon was freed.
    374   1.5       chs 		 */
    375  1.43   thorpej 		return false;
    376  1.25        pk 	default:
    377  1.43   thorpej 		return true;
    378   1.5       chs 	}
    379   1.5       chs 
    380   1.5       chs 	/*
    381  1.55     rmind 	 * Mark the page as dirty, clear its swslot and un-busy it.
    382   1.5       chs 	 */
    383   1.5       chs 
    384  1.33      yamt 	pg = anon->an_page;
    385   1.5       chs 	uobj = pg->uobject;
    386  1.55     rmind 	if (anon->an_swslot > 0) {
    387  1.23        pk 		uvm_swap_free(anon->an_swslot, 1);
    388  1.55     rmind 	}
    389   1.5       chs 	anon->an_swslot = 0;
    390  1.55     rmind 	pg->flags &= ~PG_CLEAN;
    391   1.5       chs 
    392   1.5       chs 	/*
    393  1.55     rmind 	 * Deactivate the page (to put it on a page queue).
    394   1.5       chs 	 */
    395   1.5       chs 
    396  1.50        ad 	mutex_enter(&uvm_pageqlock);
    397  1.55     rmind 	if (pg->wire_count == 0) {
    398  1.24        pk 		uvm_pagedeactivate(pg);
    399  1.55     rmind 	}
    400  1.50        ad 	mutex_exit(&uvm_pageqlock);
    401  1.25        pk 
    402  1.25        pk 	if (pg->flags & PG_WANTED) {
    403  1.55     rmind 		pg->flags &= ~PG_WANTED;
    404  1.25        pk 		wakeup(pg);
    405  1.25        pk 	}
    406   1.5       chs 
    407  1.54     rmind 	mutex_exit(anon->an_lock);
    408   1.5       chs 	if (uobj) {
    409  1.54     rmind 		mutex_exit(uobj->vmobjlock);
    410   1.5       chs 	}
    411  1.43   thorpej 	return false;
    412   1.1     chuck }
    413  1.29      yamt 
    414  1.55     rmind /*
    415  1.55     rmind  * uvm_anon_dropswap: release any swap resources from this anon.
    416  1.55     rmind  *
    417  1.55     rmind  * => anon must be locked or have a reference count of 0.
    418  1.55     rmind  */
    419  1.55     rmind void
    420  1.55     rmind uvm_anon_dropswap(struct vm_anon *anon)
    421  1.55     rmind {
    422  1.55     rmind 	UVMHIST_FUNC("uvm_anon_dropswap"); UVMHIST_CALLED(maphist);
    423  1.55     rmind 
    424  1.55     rmind 	if (anon->an_swslot == 0)
    425  1.55     rmind 		return;
    426  1.55     rmind 
    427  1.64  pgoyette 	UVMHIST_LOG(maphist,"freeing swap for anon %#jx, paged to swslot 0x%jx",
    428  1.64  pgoyette 		    (uintptr_t)anon, anon->an_swslot, 0, 0);
    429  1.55     rmind 	uvm_swap_free(anon->an_swslot, 1);
    430  1.55     rmind 	anon->an_swslot = 0;
    431  1.55     rmind }
    432  1.55     rmind 
    433  1.55     rmind #endif
    434  1.37      yamt 
    435  1.29      yamt /*
    436  1.29      yamt  * uvm_anon_release: release an anon and its page.
    437  1.29      yamt  *
    438  1.55     rmind  * => anon should not have any references.
    439  1.55     rmind  * => anon must be locked.
    440  1.29      yamt  */
    441  1.29      yamt 
    442  1.29      yamt void
    443  1.34   thorpej uvm_anon_release(struct vm_anon *anon)
    444  1.29      yamt {
    445  1.33      yamt 	struct vm_page *pg = anon->an_page;
    446  1.63    martin 	bool success __diagused;
    447  1.29      yamt 
    448  1.59     rmind 	KASSERT(mutex_owned(anon->an_lock));
    449  1.29      yamt 	KASSERT(pg != NULL);
    450  1.29      yamt 	KASSERT((pg->flags & PG_RELEASED) != 0);
    451  1.29      yamt 	KASSERT((pg->flags & PG_BUSY) != 0);
    452  1.29      yamt 	KASSERT(pg->uobject == NULL);
    453  1.29      yamt 	KASSERT(pg->uanon == anon);
    454  1.29      yamt 	KASSERT(pg->loan_count == 0);
    455  1.29      yamt 	KASSERT(anon->an_ref == 0);
    456  1.29      yamt 
    457  1.50        ad 	mutex_enter(&uvm_pageqlock);
    458  1.29      yamt 	uvm_pagefree(pg);
    459  1.50        ad 	mutex_exit(&uvm_pageqlock);
    460  1.62      yamt 	KASSERT(anon->an_page == NULL);
    461  1.62      yamt 	/* dispose should succeed as no one can reach this anon anymore. */
    462  1.62      yamt 	success = uvm_anon_dispose(anon);
    463  1.62      yamt 	KASSERT(success);
    464  1.59     rmind 	mutex_exit(anon->an_lock);
    465  1.59     rmind 	/* Note: extra reference is held for PG_RELEASED case. */
    466  1.62      yamt 	mutex_obj_free(anon->an_lock);
    467  1.59     rmind 	anon->an_lock = NULL;
    468  1.59     rmind 	uvm_anon_free(anon);
    469  1.29      yamt }
    470