lxpde_pa
const paddr_t pa = lxpde_pa(pte);
pa = lxpde_pa(pte);
pa = lxpde_pa(pte);
pa = lxpde_pa(pte) + (va & (blocksize - 1));
#define l1pde_pa(pde) lxpde_pa(pde)
#define l2pde_pa(pde) lxpde_pa(pde)
#define l3pte_pa(pde) lxpde_pa(pde)
#define l0pde_pa(pde) lxpde_pa(pde)
return lxpde_pa(pde);