[Xen-ia64-devel][PATCH] let VMM do itc sync for guest on VTI domain

["Xu, Anthony" <anthony.xu@xxxxxxxxx>]

Previously, on SMP VTI-domain, Guest OS was responsible for syncing itc by 
calling
Ia64_sync_itc, but the round trip may be very large on VTI domain, that may
cause guest itcs are not synced well and cause guest wall clock is not accurate.

This patch intends to fix this issue, when guest wants to sync itc( vcpus other 
than vcpu0 write itc), VMM directly get vcpu0 itc for other vcpus.


Signed-off-by: Anthony Xu <anthony.xu@xxxxxxxxx>

Thanks,
-Anthony

Attachment: sync_itc.patch
Description: sync_itc.patch

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