The text f7583ae641ed, as Debian 10 (Buster) shipped it.
Xen TSC (time stamp counter) and timekeeping discussion
xen-tscmode(7) on Linux now
