Symbol: SLAREA_HYPV
sys/arch/amd64/amd64/machdep.c
1739
slotspace.area[SLAREA_HYPV].sslot = 256;
sys/arch/amd64/amd64/machdep.c
1740
slotspace.area[SLAREA_HYPV].nslot = 17;
sys/arch/amd64/amd64/machdep.c
1741
slotspace.area[SLAREA_HYPV].active = true;