SLAREA_MSAN
slotspace.area[SLAREA_MSAN].sslot = L4_SLOT_KMSAN;
slotspace.area[SLAREA_MSAN].nslot = NL4_SLOT_KMSAN;
slotspace.area[SLAREA_MSAN].active = true;
slotspace_copy(SLAREA_MSAN, pdir, PDP_BASE);