vm_offset_t pa;
paddr_t pa;
pmap_is_referenced(pa)	vm_offset_t pa;{	register struct pv_entry *pv;	int s;#ifdef PMAPDEBUG	if (pmapdebug & PDB_FOLLOW)		printf("pmap_is_referenced(%x)\n", pa);#endif	s = splhigh();	for (pv = pmap_find_pv(pa); pv && !(pv->pv_tlbprot & TLB_REF);)		pv = pv->pv_next;	splx(s);	return pv != NULL;}