kvm_handle_guest_mediated_pmi
void kvm_handle_guest_mediated_pmi(void);
enable_mediated_pmu ? kvm_handle_guest_mediated_pmi : NULL);