ctr_val           292 arch/x86/kvm/pmu.c 	u64 ctr_val;
ctr_val           296 arch/x86/kvm/pmu.c 		ctr_val = rdtsc();
ctr_val           299 arch/x86/kvm/pmu.c 		ctr_val = ktime_get_boottime_ns();
ctr_val           302 arch/x86/kvm/pmu.c 		ctr_val = ktime_get_boottime_ns() +
ctr_val           309 arch/x86/kvm/pmu.c 	*data = ctr_val;