On 13/02/17 02:29, Boris Ostrovsky wrote: > vpmu_enabled() is currently reported based on VPMU_CONTEXT_ALLOCATED > bit of VPMU's flags. This presents a problem on Intel processors where > VPMU context is allocated lazily, during the first access to VPMU MSRs. > With such delayed allocation we, for example, cannot properly report > CPUID's leaf 0xa since it is likely that the leaf is queried by a > guest before the guest attempts ro read or write the MSR. > > Instead of keying vpmu_enabled() off the flags we should compute it > based on vpmu_mode. > > Signed-off-by: Boris Ostrovsky <boris.ostrov...@oracle.com>
s/bool_t/bool/ Otherwise, Acked-by: Andrew Cooper <andrew.coop...@citrix.com> I can fix this up on commit if there are no other issues. ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
