Symbol: kvm_irq_map_gsi