Symbol: TUNABLE_INT_FETCH
usr/src/uts/intel/io/vmm/intel/vmx.c
619
TUNABLE_INT_FETCH("hw.vmm.l1d_flush", &guest_l1d_flush);
usr/src/uts/intel/io/vmm/intel/vmx.c
631
TUNABLE_INT_FETCH("hw.vmm.l1d_flush_sw",