HP 144 drivers/char/ipmi/ipmi_si_pci.c { PCI_VDEVICE(HP, PCI_DEVICE_ID_HP_MMC) }, HP 5536 drivers/net/wireless/broadcom/b43/main.c IS_PDEV(pdev, BROADCOM, 0x4320, HP, 0x12f8) ||