PDIR_SLOT_PTE
memset(pdir, 0, PDIR_SLOT_PTE * sizeof(pd_entry_t));
pdir[PDIR_SLOT_PTE] = pdirpa | PG_V | PG_KW | pg_nx | pg_crypt;
pmap->pm_pdirpa = pmap->pm_pdir[PDIR_SLOT_PTE] & pg_frame;
if (pl_i(va, PTP_LEVELS) == PDIR_SLOT_PTE)
if (pl_i(va, PTP_LEVELS) == PDIR_SLOT_PTE)
pml4va[PDIR_SLOT_PTE] = pml4pa | (pml4va[PDIR_SLOT_PTE] & ~pg_frame);
if (i == PDIR_SLOT_PTE)
#define PDP_PDE (L4_BASE + PDIR_SLOT_PTE)