|
@@ -53,6 +53,7 @@ void kvm_pmu_software_increment(struct kvm_vcpu *vcpu, u64 val);
|
|
|
void kvm_pmu_handle_pmcr(struct kvm_vcpu *vcpu, u64 val);
|
|
|
void kvm_pmu_set_counter_event_type(struct kvm_vcpu *vcpu, u64 data,
|
|
|
u64 select_idx);
|
|
|
+bool kvm_arm_support_pmu_v3(void);
|
|
|
#else
|
|
|
struct kvm_pmu {
|
|
|
};
|
|
@@ -80,6 +81,7 @@ static inline void kvm_pmu_software_increment(struct kvm_vcpu *vcpu, u64 val) {}
|
|
|
static inline void kvm_pmu_handle_pmcr(struct kvm_vcpu *vcpu, u64 val) {}
|
|
|
static inline void kvm_pmu_set_counter_event_type(struct kvm_vcpu *vcpu,
|
|
|
u64 data, u64 select_idx) {}
|
|
|
+static inline bool kvm_arm_support_pmu_v3(void) { return false; }
|
|
|
#endif
|
|
|
|
|
|
#endif
|