Searched refs:device_id2 (Results 1 – 1 of 1) sorted by relevance
29 uintptr_t device_id2; in adf_c4xxx_dev_reset() local38 device_id2 = pci_read_config(pdev, PCIR_DEVICE, 2); in adf_c4xxx_dev_reset()39 if (device_id1 == device_id2) { in adf_c4xxx_dev_reset()