counter_high      107 virt/kvm/arm/pmu.c 	u64 counter, counter_high, reg, enabled, running;
counter_high      114 virt/kvm/arm/pmu.c 		counter_high = __vcpu_sys_reg(vcpu, reg + 1);
counter_high      116 virt/kvm/arm/pmu.c 		counter = lower_32_bits(counter) | (counter_high << 32);