xen-tscmode(7) on Linux

The text dda4722f07b6, as Debian 12 (Bookworm) shipped it.

Xen TSC (time stamp counter) and timekeeping discussion

xen-tscmode(7) on Linux now