l1pde_pa
l2 = (pd_entry_t *)AARCH64_PA_TO_KVA(l1pde_pa(pde));
pdppa = l1pde_pa(pde);
l2 = (pd_entry_t *)AARCH64_PA_TO_KVA(l1pde_pa(pde));
pa = l1pde_pa(l1[idx]);
pa = l1pde_pa(pde);