pvclock.h   17 arch/x86/entry/vdso/vma.c #include <asm/pvclock.h>
pvclock.h   20 arch/x86/include/asm/vdso/gettimeofday.h #include <asm/pvclock.h>
pvclock.h    8 arch/x86/kernel/kvmclock.c #include <asm/pvclock.h>
pvclock.h   16 arch/x86/kernel/pvclock.c #include <asm/pvclock.h>
pvclock.h   65 arch/x86/kvm/x86.c #include <asm/pvclock.h>
pvclock.h    6 arch/x86/kvm/x86.h #include <asm/pvclock.h>
pvclock.h   20 arch/x86/xen/time.c #include <asm/pvclock.h>
pvclock.h   14 drivers/ptp/ptp_kvm.c #include <asm/pvclock.h>