arch/arm64/include/asm/pvclock-abi.h arch/x86/include/asm/pvclock-abi.h tools/arch/x86/include/asm/pvclock-abi.h
