Searched refs:counter_high (Results 1 – 1 of 1) sorted by relevance
107 u64 counter, counter_high, reg, enabled, running; in kvm_pmu_get_pair_counter_value() local114 counter_high = __vcpu_sys_reg(vcpu, reg + 1); in kvm_pmu_get_pair_counter_value()116 counter = lower_32_bits(counter) | (counter_high << 32); in kvm_pmu_get_pair_counter_value()
