pvclock.h   21 arch/x86/kernel/kvmclock.c #include <asm/pvclock.h>
pvclock.h   20 arch/x86/kernel/pvclock.c #include <asm/pvclock.h>
pvclock.h   17 arch/x86/xen/time.c #include <asm/pvclock.h>