taglinefilesource code
common_fixup591arch/alpha/kernel/bios32.ccommon_fixup(6, 10, 5, irq_tab, 0x398);
common_fixup618arch/alpha/kernel/bios32.ccommon_fixup(5, 9, 5, irq_tab, 0x398);
common_fixup673arch/alpha/kernel/bios32.ccommon_fixup(5, 9, 5, irq_tab, 0);