HardenedBSD/sys/dev/kvm_clock
..
kvm_clock.c