pl1_pi
pte_pa = (pde & PG_FRAME) + (pl1_pi(va) * sizeof(pt_entry_t));
(pl1_pi(va) * sizeof(pt_entry_t)));