LEON_PTE_SH
ptr += (((vaddr >> LEON_PTE_SH) & LEON_PTE_M) * 4);
(vaddr & ~(-1 << LEON_PTE_SH)) | ((pte & ~0xff) << 4);