VMENTER_L1D_FLUSH_EPT_DISABLED
[VMENTER_L1D_FLUSH_EPT_DISABLED] = "EPT disabled",
if (l1tf_vmx_mitigation == VMENTER_L1D_FLUSH_EPT_DISABLED ||
[VMENTER_L1D_FLUSH_EPT_DISABLED] = {"EPT disabled", false},
l1tf_vmx_mitigation = VMENTER_L1D_FLUSH_EPT_DISABLED;