Symbol: SLAREA_KERN
sys/arch/amd64/amd64/machdep.c
1759
slotspace.area[SLAREA_KERN].sslot = L4_SLOT_KERNBASE;
sys/arch/amd64/amd64/machdep.c
1760
slotspace.area[SLAREA_KERN].nslot = 1;
sys/arch/amd64/amd64/machdep.c
1761
slotspace.area[SLAREA_KERN].active = true;