PDIR_SLOT_PCPU
slotspace.area[SLAREA_PCPU].sslot = PDIR_SLOT_PCPU;
#define PMAP_PCPU_BASE (VA_SIGN_NEG((PDIR_SLOT_PCPU * NBPD_L4)))
pdir[PDIR_SLOT_PCPU] = PDP_BASE[PDIR_SLOT_PCPU];
if (lvl == NLEVEL && slot == PDIR_SLOT_PCPU) {