pl4_pi
pde_pa = cpu_kh->ptdpaddr + (pl4_pi(va) * sizeof(pd_entry_t));
(pl4_pi(va) * sizeof(pt_entry_t)));
(pl4_pi(0) * sizeof(pt_entry_t)));
pdir[pl4_pi(KERNBASE)] = PDP_BASE[pl4_pi(KERNBASE)];