pte = pa | PTE_PROT(TLB_WIRED|TLB_DIRTY|pmap_prot(pmap_kernel(), prot));
pte = pa | PTE_PROT(TLB_WIRED|pmap_prot(pmap_kernel(), prot)); if (pa >= HPPA_IOSPACE)
pmap_kenter_pa(va, pa, prot)	vaddr_t va;	paddr_t pa;	vm_prot_t prot;{	pt_entry_t *pde, pte;	DPRINTF(PDB_FOLLOW|PDB_ENTER,	    ("pmap_kenter_pa(%x, %x, %x)\n", va, pa, prot));	simple_lock(&pmap->pm_obj.vmobjlock);	if (!(pde = pmap_pde_get(pmap_kernel()->pm_pdir, va)) &&	    !(pde = pmap_pde_alloc(pmap_kernel(), va, NULL)))		panic("pmap_kenter_pa: cannot allocate pde");#ifdef DIAGNOSTIC	if ((pte = pmap_pte_get(pde, va)))		panic("pmap_kenter_pa: 0x%x is already mapped %p:0x%x",		    va, pde, pte);#endif	pte = pa | PTE_PROT(TLB_WIRED|TLB_DIRTY|pmap_prot(pmap_kernel(), prot));	/* if (pa >= HPPA_IOSPACE) */		pte |= PTE_PROT(TLB_UNCACHABLE);	pmap_pte_set(pde, va, pte);	simple_unlock(&pmap->pm_obj.vmobjlock);	DPRINTF(PDB_FOLLOW|PDB_ENTER, ("pmap_kenter_pa: leaving\n"));}