)
Values for VMIC PCI device code:
 7587h	VME
SeeAlso: #00732