if (pmap_check_alias(pve, va)) Debugger();
pmap_pv_enter(struct pv_head *pvh, struct pv_entry *pve, struct pmap *pm,    vaddr_t va, struct vm_page *pdep){	DPRINTF(PDB_FOLLOW|PDB_PV, ("pmap_pv_enter(%p, %p, %p, 0x%x, %p)\n",	    pvh, pve, pm, va, pdep));	pve->pv_pmap	= pm;	pve->pv_va	= va;	pve->pv_ptp	= pdep;	simple_lock(&pvh->pvh_lock);		/* lock pv_head */	pve->pv_next = pvh->pvh_list;	pvh->pvh_list = pve;	simple_unlock(&pvh->pvh_lock);		/* unlock, done! */}