> x86_msr_runcount is 4 because my system has two CPUs and a write operation 
> (msr_cpu_broadcast_write()), issues two operations (write and read):

what's msr_cpu_broadcast_write?

i'd suggest to attach patches to mails.  not everyone read your
mails immediately.  posting urls and replacing actual files afterwards
confused me at least.

YAMAMOTO Takashi