> Hum, at last for Xen3, tsc_timestamp is updated just before the context
> switch, so it should be OK. Xen2 looks similar.

iirc, xen2 does rdtsc in its timer interrupt handler
and stores it to a global variable, and uses it for any domains.

YAMAMOTO Takashi