sys/amd64/include/pvclock.h
sys/i386/include/pvclock.h
sys/x86/include/pvclock.h