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