pvclock-abi.h   28 arch/x86/include/asm/kvm_host.h #include <asm/pvclock-abi.h>
pvclock-abi.h    5 arch/x86/include/asm/pvclock.h #include <asm/pvclock-abi.h>
pvclock-abi.h  134 arch/x86/include/asm/xen/interface.h #include <asm/pvclock-abi.h>