nforce4_mpbios_fixup   33 arch/i386/i386/mpbios_intr_fixup.c void nforce4_mpbios_fixup(pci_chipset_tag_t, pcitag_t);
nforce4_mpbios_fixup   44 arch/i386/i386/mpbios_intr_fixup.c 	  nforce4_mpbios_fixup },
nforce4_mpbios_fixup   46 arch/i386/i386/mpbios_intr_fixup.c 	  nforce4_mpbios_fixup },