[Xen-ia64-devel] SMP guest and itc

[Tristan Gingold <Tristan.Gingold@xxxxxxxx>]

Hi,

during boot, linux kernel tries to synchronize itc of all processors.  However 
currently itc is not virtualized:
(XEN) vcpu_set_itc: Setting ar.itc is currently disabled

What should we do ?
a) virtualize ITC
b) para-virtualize ITC (ie, modifying linux kernel)
c) pre-synchronize ITC

I really prefer c).

Tristan.


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