Symbol: VMX_L1D_FLUSH_SIZE
sys/arch/amd64/amd64/vmm_machdep.c
316
l1tf_flush_region = km_alloc(VMX_L1D_FLUSH_SIZE,
sys/arch/amd64/amd64/vmm_machdep.c
324
VMX_L1D_FLUSH_SIZE);