KVM_REG_ARM_PTIMER_CVAL  748 virt/kvm/arm/arch_timer.c 	case KVM_REG_ARM_PTIMER_CVAL:
KVM_REG_ARM_PTIMER_CVAL  792 virt/kvm/arm/arch_timer.c 	case KVM_REG_ARM_PTIMER_CVAL: