IA32_SPEC_CTRL_IBRS
IA32_SPEC_CTRL_IBRS, NULL);
wrmsr(MSR_IA32_SPEC_CTRL, v & ~(IA32_SPEC_CTRL_IBRS |