asm("stwas	%0, 0(%1)"
asm("stws	%0, 0(%1)"
pmap_pte_set(pt_entry_t *pde, vaddr_t va, pt_entry_t pte){	DPRINTF(PDB_FOLLOW|PDB_VP, ("pmap_pte_set(%p, 0x%x, 0x%x)\n",	    pde, va, pte));#ifdef PMAPDEBUG	if (!pde)		panic("pmap_pte_set: zero pde");	if (pte && pmap_initialized && pte < physical_end &&	    hppa_trunc_page(pte) != (paddr_t)&gateway_page)		panic("pmap_pte_set: invalid pte");	if (pte && !(pte & PTE_PROT(TLB_UNCACHABLE)) &&	    hppa_trunc_page(pte) != (paddr_t)&gateway_page) {		printf("pmap_pte_set: cached pte\n");		Debugger();	}	if ((paddr_t)pde & PGOFSET)		panic("pmap_pte_set, unaligned pde %p", pde);#endif	asm("stwas	%0, 0(%1)"	    :: "r" (pte), "r" ((paddr_t)pde + ((va >> 10) & 0xffc)));}