Symbol: SLAREA_PTE
sys/arch/amd64/amd64/machdep.c
1720
slotspace.area[SLAREA_PTE].sslot = PDIR_SLOT_PTE;
sys/arch/amd64/amd64/machdep.c
1721
slotspace.area[SLAREA_PTE].nslot = 1;
sys/arch/amd64/amd64/machdep.c
1722
slotspace.area[SLAREA_PTE].active = true;
sys/arch/amd64/amd64/machdep.c
1779
va = slotspace_rand(SLAREA_PTE, NBPD_L4, NBPD_L4, randhole, randva);
sys/arch/amd64/include/pmap_private.h
102
#define L4_SLOT_PTE slotspace.area[SLAREA_PTE].sslot