dsdt_fixed_irq
void dsdt_fixed_irq(uint8_t irq);
dsdt_fixed_irq(1);
dsdt_fixed_irq(12);
dsdt_fixed_irq(2);
dsdt_fixed_irq(0);
dsdt_fixed_irq(sc->irq);
dsdt_fixed_irq(8);