KVM_ARM_DEV_EL1_VTIMER 1600 include/uapi/linux/kvm.h #define KVM_ARM_DEV_EL1_VTIMER		(1 << 0)
KVM_ARM_DEV_EL1_VTIMER 1600 tools/include/uapi/linux/kvm.h #define KVM_ARM_DEV_EL1_VTIMER		(1 << 0)