dmi_pci_device_id
Description
The dmi_pci_device_id_t type holds a PCI device identifier, which the vendor
assigns to its devices, as in the device and subsystem identifier registers of
a function.
The type is shared by several structures: it is the type of the device_id and
sub_device_id fields of dmi_intel_rsd_pcie_t, the device_id and
sub_device_id fields of dmi_intel_rsd_network_card_t, and the device_id
and sub_device_id fields of dmi_intel_rsd_storage_device_t.