On 09/01/2018 16:58, Liran Alon wrote: > > The only thing I a bit dislike is that currently these MSRs are always pass-through to guest and therefore > there is no case vmx_set_msr() is called with !msr_info->host_initiated. > Don't you think we should BUG_ON(!msr_info->host_initiated)? All this is in flux. We'll probably get per-VCPU MSR bitmaps anyway before this patch (which is not part of the initial, minimal fix) is committed. Paolo
