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