X86_SPECTREV2_DISABLED
if (v2mit == X86_SPECTREV2_DISABLED) {
case X86_SPECTREV2_DISABLED:
v2mit = X86_SPECTREV2_DISABLED;