SLAREA_ASAN
slotspace.area[SLAREA_ASAN].sslot = L4_SLOT_KASAN;
slotspace.area[SLAREA_ASAN].nslot = NL4_SLOT_KASAN;
slotspace.area[SLAREA_ASAN].active = true;
slotspace_copy(SLAREA_ASAN, pdir, PDP_BASE);