asm("ldwax,s	%2(%1),%0"
asm("ldwx,s	%2(%1),%0"
pmap_pte_get(pt_entry_t *pde, vaddr_t va){	pt_entry_t pte;	asm("ldwax,s	%2(%1),%0"	    : "=&r" (pte) : "r" (pde),  "r" ((va >> 12) & 0x3ff));	return (pte);}