I'm going to try to get per-vCPU MSR bitmaps out today or tomorrow. On Tue, Jan 9, 2018 at 8:11 AM, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > 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 >