Symbol: VMX_MSRLIST_L1DFLUSH
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3133
gmsr[VMX_MSRLIST_L1DFLUSH].msr = MSR_IA32_FLUSH_CMD;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3134
gmsr[VMX_MSRLIST_L1DFLUSH].val = IA32_FLUSH_CMD_L1D_FLUSH;