> > No. The AMD feature bits give us more fine-grained support for exposing
> > IBPB or IBRS alone, so we expose those bits on Intel too.
> But but.. that runs smack against the idea of exposing a platform that
> is as close to emulating the real hardware as possible.
Agreed, and it's asking for problems in the future if for example Intel
or another non AMD vendor did ever use that leaf for something different.
Now whether there ought to be an MSR range every vendor agrees is never
implemented so software can use it is an interesting discussion.