asm("ldwax,s	%2(%1), %0\n\tsync"
asm("ldwx,s	%2(%1), %0\n\tsync"
pmap_pde_get(paddr_t pa, vaddr_t va){	pt_entry_t *pde;	asm("ldwax,s	%2(%1), %0\n\tsync"	    : "=&r" (pde) : "r" (pa), "r" (va >> 22));	return (pde);}