Lines Matching defs:device
219 uint16_t device; /* chip device code */
1409 uint32_t device;
1416 device = pci_conf_read(tag, PCI_ID_REG);
1438 sc->device = PCI_PRODUCT(device);
1457 if (sc->device == K_PCI_ID_I82559ER) {
1512 pcireg_t device;
1519 device = pci_conf_read(tag, PCI_ID_REG);
1520 if (PCI_VENDOR(device) == K_PCI_VENDOR_INTEL) {
1521 switch (PCI_PRODUCT(device)) {