MSR_IA32_PRED_CMD
alternative_msr_write(MSR_IA32_PRED_CMD, PRED_CMD_IBPB, \
else if (c->x86 >= 0x19 && !wrmsrq_safe(MSR_IA32_PRED_CMD, PRED_CMD_SBPB)) {
MSR_IA32_PRED_CMD,
svm_set_intercept_for_msr(vcpu, MSR_IA32_PRED_CMD, MSR_TYPE_W,
nested_vmx_merge_msr_bitmaps_write(MSR_IA32_PRED_CMD);
vmx_set_intercept_for_msr(vcpu, MSR_IA32_PRED_CMD, MSR_TYPE_W,
case MSR_IA32_PRED_CMD: {
wrmsrq(MSR_IA32_PRED_CMD, data);