pvclock_vcpu_time_info   26 arch/x86/include/asm/pvclock-abi.h struct pvclock_vcpu_time_info {
pvclock_vcpu_time_info   66 include/xen/arm/interface.h struct pvclock_vcpu_time_info {