Re: [Xen-ia64-devel] SMP guest and itc

[Tristan Gingold <Tristan.Gingold@xxxxxxxx>]

Le Jeudi 09 Février 2006 17:59, Alex Williamson a écrit :
> On Thu, 2006-02-09 at 08:32 +0100, Tristan Gingold wrote:
> > 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).
>
>    I'm not sure I understand c).  Aren't the ITCs already
> pre-synchronized by xen in smp_callin()?   Thanks,
Correct, but Linux is not aware of this.
After more thoughs, I really think this is the best solution.

Tristan.


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