|
@@ -42,6 +42,7 @@ struct kvm_pmu {
|
|
|
u64 kvm_pmu_get_counter_value(struct kvm_vcpu *vcpu, u64 select_idx);
|
|
|
void kvm_pmu_set_counter_value(struct kvm_vcpu *vcpu, u64 select_idx, u64 val);
|
|
|
u64 kvm_pmu_valid_counter_mask(struct kvm_vcpu *vcpu);
|
|
|
+void kvm_pmu_vcpu_reset(struct kvm_vcpu *vcpu);
|
|
|
void kvm_pmu_disable_counter(struct kvm_vcpu *vcpu, u64 val);
|
|
|
void kvm_pmu_enable_counter(struct kvm_vcpu *vcpu, u64 val);
|
|
|
void kvm_pmu_overflow_set(struct kvm_vcpu *vcpu, u64 val);
|
|
@@ -67,6 +68,7 @@ static inline u64 kvm_pmu_valid_counter_mask(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
|
return 0;
|
|
|
}
|
|
|
+static inline void kvm_pmu_vcpu_reset(struct kvm_vcpu *vcpu) {}
|
|
|
static inline void kvm_pmu_disable_counter(struct kvm_vcpu *vcpu, u64 val) {}
|
|
|
static inline void kvm_pmu_enable_counter(struct kvm_vcpu *vcpu, u64 val) {}
|
|
|
static inline void kvm_pmu_overflow_set(struct kvm_vcpu *vcpu, u64 val) {}
|