diff --git a/src/include/device/pci_ids.h b/src/include/device/pci_ids.h
index 539ca3ad38..03569a4940 100644
--- a/src/include/device/pci_ids.h
+++ b/src/include/device/pci_ids.h
@@ -1809,10 +1809,6 @@
 #define PCI_DEVICE_ID_INTEL_82371SB_2	0x7020
 #define PCI_DEVICE_ID_INTEL_82437VX	0x7030
 #define PCI_DEVICE_ID_INTEL_82439TX	0x7100
-#define PCI_DEVICE_ID_INTEL_82371AB_0	0x7110
-#define PCI_DEVICE_ID_INTEL_82371AB	0x7111
-#define PCI_DEVICE_ID_INTEL_82371AB_2	0x7112
-#define PCI_DEVICE_ID_INTEL_82371AB_3	0x7113
 #define PCI_DEVICE_ID_INTEL_82371AB_ISA		0x7110
 #define PCI_DEVICE_ID_INTEL_82371AB_IDE		0x7111
 #define PCI_DEVICE_ID_INTEL_82371AB_USB		0x7112