PCI_VENDOR_ID_VMIC   27 drivers/vme/boards/vme_vmivme7805.c 	{ PCI_DEVICE(PCI_VENDOR_ID_VMIC, PCI_DEVICE_ID_VTIMR) },
PCI_VENDOR_ID_VMIC   15 drivers/vme/boards/vme_vmivme7805.h #ifndef PCI_VENDOR_ID_VMIC