ipmi_pci_match
ipmi_pci_match(devid & 0xffff, devid >> 16) != NULL)
desc = ipmi_pci_match(pci_get_vendor(dev), pci_get_device(dev));
const char *ipmi_pci_match(uint16_t, uint16_t);