[Xen-devel] write_tsc in a PV domain?

[Dan Magenheimer <dan.magenheimer@xxxxxxxxxx>]

Is it "legal" to write to the TSC, e.g. via wrmsr(0x10,x,y),
in a PV kernel?  Assuming this were executed and would cause
a GPF, I can't find the code in Xen that would handle it, or
even ignore it.  There are uses of write_tsc in
linux-2.6.18-xen... perhaps that code never gets executed?

Thanks,
Dan

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