L4_SLOT_KASAN
slotspace.area[SLAREA_ASAN].sslot = L4_SLOT_KASAN;
#define KASAN_MD_SHADOW_START (VA_SIGN_NEG((L4_SLOT_KASAN * NBPD_L4)))