nforce4_mpbios_fixup
void nforce4_mpbios_fixup(pci_chipset_tag_t, pcitag_t);
nforce4_mpbios_fixup },
nforce4_mpbios_fixup },
void nforce4_mpbios_fixup(pci_chipset_tag_t, pcitag_t);
nforce4_mpbios_fixup },
nforce4_mpbios_fixup },