pl1_pi
pte_pa = (pde & PTE_FRAME) + (pl1_pi(va) * sizeof(pt_entry_t));
pte_pa = (pde & PTE_FRAME) + (pl1_pi(va) * sizeof(pt_entry_t));
pte_pa = (pde & PTE_FRAME) + (pl1_pi(va) * sizeof(pt_entry_t));
if (!pmap_valid_entry(pdir[pl1_pi(va)])) {
pdir[pl1_pi(va)] = pa | pteflags | pmap_pg_g;
return pmap_map_ptp(ptp) + pl1_pi(va);
ptep = &ptes[pl1_pi(va)];
pte = ptes[pl1_pi(va)];
pmap_ept_remove_ptes(pmap, ptp, (vaddr_t)&ptes[pl1_pi(va)], va,
spte = &ptes[pl1_pi(va)];
ptep = &ptes[pl1_pi(va)];
pidx = pl1_pi(va);
pidx = pl1_pi(utlsva);
pte[pl1_pi(page)] = 0;
pte[pl1_pi(page)] = xpmap_ptom_masked(page - KERNBASE);
pte[pl1_pi(page)] = xen_start_info.shared_info;
pte[pl1_pi(page)] = xen_start_info.console_mfn;
pte[pl1_pi(page)] <<= PAGE_SHIFT;
pte[pl1_pi(page)] = xen_start_info.store_mfn;
pte[pl1_pi(page)] <<= PAGE_SHIFT;
pte[pl1_pi(page)] =
pte[pl1_pi(page)] |= xpmap_pg_nx;
pte[pl1_pi(page)] |= PTE_P;
pte[pl1_pi(page)] |= xpmap_pg_nx;
pte[pl1_pi(page)] |= xpmap_pg_nx;
pte[pl1_pi(page)] |= xpmap_pg_nx;
pte[pl1_pi(page)] = 0;
pte[pl1_pi(page)] |= PTE_W | xpmap_pg_nx;
pte[pl1_pi(page)] |= PTE_W | xpmap_pg_nx;
pte += pl1_pi(page);