[Xen-devel][PATCH] Default setting of guest CPUID RDTSCP bit

["Xu, Dongxiao" <dongxiao.xu@xxxxxxxxx>]

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@xxxxxxxxx>

Attachment: rdtscp_cpuid.patch
Description: rdtscp_cpuid.patch

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel