Xu, Dongxiao
2010-Jan-13 05:39 UTC
[Xen-devel][PATCH] Default setting of guest CPUID RDTSCP bit
Expose RDTSCP CPUID to guest only when tsc_mode == TSC_MODE_DEFAULT and host_tsc_is_safe() returns 1; Signed-off-by: Dongxiao Xu <dongxiao.xu@intel.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel