Tim,

The (extended) CPUID mask MSRs are associated with each core. They need 
to be updated on each core if migration happens across CPUs. Changset 
18402 does update the MSRs for each core. But printk() only happens on 
core 0. If you move printk() statements below wrmsr(), you will see it 
been called on each core.

It is hard to justify which way is better. I attach the patch anyway, in 
case Keir or you want it for xen-unstable.

Signed-off-by: Wei Huang <wei.huang2@amd.com>

Best,
-Wei




Tim Deegan wrote:
> Hi Travis, 
>
> In c/s 18402, the CPUID masks are only set once, on CPU 0.  Can you
> explain why this doesn't have to happen on every core, or at least every
> socket?  The white paper doesn't discuss it. 
>
> Cheers,
>
> Tim.
>
>