vm_offset_t va;
vaddr_t va;
pmap_enter_va(space, va, pv)	pa_space_t space;	vm_offset_t va;	struct pv_entry *pv;{	register struct hpt_entry *hpt = &hpt_table[pmap_hash(space, va)];#if defined(PMAPDEBUG) || defined(DIAGNOSTIC)	register struct pv_entry *pvp =	hpt->hpt_entry;#endif#ifdef PMAPDEBUG	if (pmapdebug & PDB_FOLLOW && pmapdebug & PDB_VA)		printf("pmap_enter_va(%x,%x,%p): hpt=%p, pvp=%p\n",		       space, va, pv, hpt, pvp);#endif#ifdef DIAGNOSTIC	while(pvp && (pvp->pv_va != va || pvp->pv_space != space))		pvp = pvp->pv_hash;	if (pvp)		panic("pmap_enter_va: pv_entry is already in hpt_table");#endif	/* we assume that normally there are no duplicate entries	   would be inserted (use DIAGNOSTIC should you want a proof) */	pv->pv_hash = hpt->hpt_entry;	hpt->hpt_entry = pv;}