Symbol: L4_SLOT_KMSAN
sys/arch/amd64/amd64/machdep.c
1753
slotspace.area[SLAREA_MSAN].sslot = L4_SLOT_KMSAN;
sys/arch/amd64/include/msan.h
58
#define __MD_SHADOW_START (VA_SIGN_NEG((L4_SLOT_KMSAN * NBPD_L4)))