Можно ли читать PVclock из пользовательского пространства?

Можно ли читать clocksource xen или kvmclock с помощью некоторого инструмента для пользовательского пространства?

Ссылаясь на /sys/devices/system/clocksource/clocksource0/current_clocksource . Чтение фактического значения pvclock.

Или нужно написать программу на C или использовать отладчик памяти, чтобы что-то подобное?

hwclock (8), похоже, читает часы гипервизора

 # hwclock --show --debug hwclock from util-linux 2.20.1 Using /dev interface to clock. Last drift adjustment done at 0 seconds after 1969 Last calibration done at 0 seconds after 1969 Hardware clock is on unknown time Assuming hardware clock is kept in UTC time. Waiting for clock tick... ...got clock tick Time read from Hardware Clock: 2015/08/10 15:07:13 Hw clock time : 2015/08/10 15:07:13 = 1439219233 seconds since 1969 Mon 10 Aug 2015 16:07:13 BST -0.225494 seconds # # hwclock --show Mon 10 Aug 2015 16:08:52 BST -0.271426 seconds mintvm ~ #