FreeBSD/sys/arm64/arm64/pmap.c
/*
 * Release any resources held by the given physical map.
 * Called when a pmap initialized by pmap_pinit is being released.
 * Should only be called if the map contains no valid mappings.
 */
Release any resources held by the given physical map.
Called when a pmap initialized by pmap_pinit is being released.
Should only be called if the map contains no valid mappings.
Release any resources held by the given physical map . Called when a pmap initialized by pmap_pinit is being released . Should only be called if the map contains no valid mappings .
void
pmap_release(pmap_t pmap)
{
	vm_page_t m;
	KASSERT(pmap->pm_stats.resident_count == 0,
	    ("pmap_release: pmap resident count %ld != 0",
	    pmap->pm_stats.resident_count));
	m = PHYS_TO_VM_PAGE(DMAP_TO_PHYS((vm_offset_t)pmap->pm_l0));
	m->wire_count--;
	atomic_subtract_int(&vm_cnt.v_wire_count, 1);
	vm_page_free_zero(m);
}
void pmap_release ( pmap_t pmap ) { vm_page_t m ; KASSERT ( pmap -> pm_stats . resident_count == 0 , ( " " , pmap -> pm_stats . resident_count ) ) ; m = PHYS_TO_VM_PAGE ( DMAP_TO_PHYS ( ( vm_offset_t ) pmap -> pm_l0 ) ) ; m -> wire_count -- ; atomic_subtract_int ( & vm_cnt . v_wire_count , 1 ) ; vm_page_free_zero ( m ) ; }
Release any resources held by the given physical map.
Release any resources held by the given physical map .