FreeBSD/sys/arm64/arm64/pmap.c
/*
 * First find and then destroy the pv entry for the specified pmap and virtual
 * address.  This operation can be performed on pv lists for either 4KB or 2MB
 * page mappings.
 */
First find and then destroy the pv entry for the specified pmap and virtual
address.  This operation can be performed on pv lists for either 4KB or 2MB
page mappings.
First find and then destroy the pv entry for the specified pmap and virtual address . This operation can be performed on pv lists for either 4KB or 2MB page mappings .
static void
pmap_pvh_free(struct md_page *pvh, pmap_t pmap, vm_offset_t va)
{
	pv_entry_t pv;
	pv = pmap_pvh_remove(pvh, pmap, va);
	KASSERT(pv != NULL, ("pmap_pvh_free: pv not found"));
	free_pv_entry(pmap, pv);
}
static void pmap_pvh_free ( struct md_page * pvh , pmap_t pmap , vm_offset_t va ) { pv_entry_t pv ; pv = pmap_pvh_remove ( pvh , pmap , va ) ; KASSERT ( pv != NULL , ( " " ) ) ; free_pv_entry ( pmap , pv ) ; }
First find and then destroy the pv entry for the specified pmap and virtual
 address.
First find and then destroy the pv entry for the specified pmap and virtual address .