> > + wrmsrl(MSR_IA32_PRED_CMD, PRED_CMD_IBPB);> > Should this be wrmsrl_safe? I don't see where we've verified host> support of this MSR.In mainline all wrmsr are wrmsrl_safe now.-Andi