Symbol: kvm_handle_guest_mediated_pmi