dev/vx/if_vx_pci.c

96 	u_int32_t device_id;
98 	device_id = pci_read_config(dev, PCIR_DEVVENDOR, 4);
100 	if (device_id == 0x590010b7ul) {
104 	if (device_id == 0x595010b7ul || device_id == 0x595110b7ul ||
105 	    device_id == 0x595210b7ul) {
114 	if (device_id == 0x900010b7ul || device_id == 0x900110b7ul) {
118 	if (device_id == 0x905010b7ul || device_id == 0x905110b7ul) {