VP_Lx
vp1->l1[i] = VP_Lx(pa);
vp2->l2[j] = VP_Lx(pa);
vp1->l1[i] = VP_Lx(pa);
vp2->l2[j] = VP_Lx(pa);
pg_entry = VP_Lx(l1_pa);
pg_entry = VP_Lx(l2_pa);
pg_entry = VP_Lx(l3_pa);
pg_entry = VP_Lx(l1_pa);
pg_entry = VP_Lx(l2_pa);
pg_entry = VP_Lx(l3_pa);
vp1->l1[i] = VP_Lx(pa);
vp2->l2[j] = VP_Lx(pa);
vp1->l1[i] = VP_Lx(pa);
vp2->l2[j] = VP_Lx(pa);
pg_entry = VP_Lx(l2_pa);
pg_entry = VP_Lx(l3_pa);
pte = VP_Lx(pted->pted_pte) | attr | access_bits | PTE_V;