IRQ_SOURCE_IOAPIC
case IRQ_SOURCE_IOAPIC:
x86_set_irq_source(gsi, IRQ_SOURCE_IOAPIC);
IRQ_SOURCE_IOAPIC);