K 10
svn:author
V 6
bryanv
K 8
svn:date
V 27
2014-12-21T23:20:02.877114Z
K 7
svn:log
V 243
Generalized parts of the XEN timer code into pvclock

This will later be used to support KVM clock. Until I can sort out
how to best include the pvclock.h header in the generic XEN headers,
use ugly casts in the XEN code to keep it compiling.

END