MMU_SHORT_PTE_BASEADDR
#define MMU_PTE_PA(pte) ((pte).attr.raw & MMU_SHORT_PTE_BASEADDR)
#define PG_FRAME MMU_SHORT_PTE_BASEADDR
pa = *mon_pte & MMU_SHORT_PTE_BASEADDR;
sh->pg_frame = MMU_SHORT_PTE_BASEADDR;