via8237_mpbios_fixup 32 arch/i386/i386/mpbios_intr_fixup.c void via8237_mpbios_fixup(pci_chipset_tag_t, pcitag_t); via8237_mpbios_fixup 42 arch/i386/i386/mpbios_intr_fixup.c via8237_mpbios_fixup },