Lines Matching defs:device
116 static int device = 0;
123 if (device == 0) {
126 device = devinfo.pci_device_id;
128 fail_if(!intel_get_device_info_from_pci_id(device, &devinfo),
227 device, program_invocation_short_name);
232 output_filename, device, devinfo.ver);
416 *pci_id = device;
450 } else if (!strcmp(key, "device")) {
451 fail_if(device != 0, "Device/Platform override specified multiple times.\n");
452 fail_if(sscanf(value, "%i", &device) != 1,
453 "failed to parse device id '%s'\n",
457 fail_if(device != 0, "Device/Platform override specified multiple times.\n");
458 device = intel_device_name_to_pci_device_id(value);
459 fail_if(device == -1, "Unknown platform '%s'\n", value);
486 ASSERTED int ret = get_pci_id(fd, &device);
491 device, program_invocation_short_name);
496 output_filename, device, devinfo.ver);