Lines Matching defs:device
25 /* Rules for device selection.
27 * If no - try and find which device was the boot_vga device.
28 * If yes - try and work out which device is the connection primary,
193 static void get_device_properties(const struct instance_info *info, VkPhysicalDevice device, VkPhysicalDeviceProperties2 *properties)
195 info->GetPhysicalDeviceProperties(device, &properties->properties);
198 info->GetPhysicalDeviceProperties2(device, properties);
201 static void print_gpu(const struct instance_info *info, unsigned index, VkPhysicalDevice device)
212 get_device_properties(info, device, &properties);
243 VkPhysicalDevice device)
255 get_device_properties(info, device, &properties);
324 snprintf(path, 1023, "/sys/class/drm/card%d/device/boot_vga", i);
337 snprintf(path, 1023, "/sys/class/drm/card%d/device/config", i);
371 /* fallback to probing the pci bus boot_vga device. */
394 /* pick first GPU device */
431 fprintf(stderr, "device-select: cannot correctly use DRI_PRIME tag\n");
458 /* DRI_PRIME=1 handling - pick any other device than default. */
528 /* do not give multiple device option to app if force default device */