FreeBSD/sys/arm/arm/pmap-v6.c
/*
 *  Remove a single page from a process address space.
 */
Remove a single page from a process address space.
Remove a single page from a process address space .
static void
pmap_remove_page(pmap_t pmap, vm_offset_t va, struct spglist *free)
{
	pt2_entry_t *pte2p;
	rw_assert(&pvh_global_lock, RA_WLOCKED);
	KASSERT(curthread->td_pinned > 0,
	    ("%s: curthread not pinned", __func__));
	PMAP_LOCK_ASSERT(pmap, MA_OWNED);
	if ((pte2p = pmap_pte2_quick(pmap, va)) == NULL ||
	    !pte2_is_valid(pte2_load(pte2p)))
		return;
	pmap_remove_pte2(pmap, pte2p, va, free);
}
static void pmap_remove_page ( pmap_t pmap , vm_offset_t va , struct spglist * free ) { pt2_entry_t * pte2p ; rw_assert ( & pvh_global_lock , RA_WLOCKED ) ; KASSERT ( curthread -> td_pinned > 0 , ( " " , __func__ ) ) ; PMAP_LOCK_ASSERT ( pmap , MA_OWNED ) ; if ( ( pte2p = pmap_pte2_quick ( pmap , va ) ) == NULL || ! pte2_is_valid ( pte2_load ( pte2p ) ) ) return ; pmap_remove_pte2 ( pmap , pte2p , va , free ) ; }
Remove a single page from a process address space.
Remove a single page from a process address space .