Symbol: IA32_FLUSH_CMD_L1D
usr/src/uts/intel/io/vmm/intel/vmx.c
639
msr_load_list[0].val = IA32_FLUSH_CMD_L1D;
usr/src/uts/intel/os/cpuid.c
2897
wrmsr(MSR_IA32_FLUSH_CMD, IA32_FLUSH_CMD_L1D);