x86_set_irq_source
void x86_set_irq_source(int32 irq, irq_source source);
x86_set_irq_source(gsi, IRQ_SOURCE_IOAPIC);
x86_set_irq_source(current->global_interrupt_base + i,
x86_set_irq_source(vector, IRQ_SOURCE_MSI);