KVM_ARM_VCPU_TIMER_CTRL  258 arch/arm/include/uapi/asm/kvm.h #define KVM_ARM_VCPU_TIMER_CTRL		1
KVM_ARM_VCPU_TIMER_CTRL  323 arch/arm64/include/uapi/asm/kvm.h #define KVM_ARM_VCPU_TIMER_CTRL		1
KVM_ARM_VCPU_TIMER_CTRL  258 tools/arch/arm/include/uapi/asm/kvm.h #define KVM_ARM_VCPU_TIMER_CTRL		1
KVM_ARM_VCPU_TIMER_CTRL  323 tools/arch/arm64/include/uapi/asm/kvm.h #define KVM_ARM_VCPU_TIMER_CTRL		1