MSR_IA32_FLUSH_CMD - FreeBSD

Symbol: MSR_IA32_FLUSH_CMD

sys/amd64/amd64/trap.c

wrmsr(MSR_IA32_FLUSH_CMD, IA32_FLUSH_CMD_L1D);

sys/amd64/vmm/intel/vmx.c

msr_load_list[0].index = MSR_IA32_FLUSH_CMD;