l0pde_pa
pr(", PA=%lx", l0pde_pa(pte));
l1 = (pd_entry_t *)AARCH64_PA_TO_KVA(l0pde_pa(pde));
pa = l0pde_pa(pde);
pdppa = l0pde_pa(pde);
l1 = (pd_entry_t *)AARCH64_PA_TO_KVA(l0pde_pa(pde));
pa = l0pde_pa(l0[idx]);
l0pde_pa(pte));
pa = l0pde_pa(pde);