SCI_INT
fadt.SciInterrupt = htole16(SCI_INT);
madt_irq_override.SourceIrq = SCI_INT;
madt_irq_override.GlobalIrq = htole32(SCI_INT);
case SCI_INT:
mpie->src_bus_irq = SCI_INT;
vm_isa_deassert_irq(ctx, SCI_INT, SCI_INT);
pci_irq_use(SCI_INT);
vm_isa_set_irq_trigger(ctx, SCI_INT, LEVEL_TRIGGER);
vm_isa_assert_irq(ctx, SCI_INT, SCI_INT);