l2pde_pa
l3 = (pd_entry_t *)AARCH64_PA_TO_KVA(l2pde_pa(pde));
pdppa = l2pde_pa(pde);
l3 = (pd_entry_t *)AARCH64_PA_TO_KVA(l2pde_pa(pde));
pa = l2pde_pa(l2[idx]);
pa = l2pde_pa(pde);