Searched refs:deviceIdFromCmdLine (Results 1 – 1 of 1) sorted by relevance
112 const deUint32 deviceIdFromCmdLine = cmdLine.getVKDeviceId(); in chooseDeviceIndex() local113 if (!de::inBounds(deviceIdFromCmdLine, 0u, static_cast<deUint32>(devices.size() + 1))) in chooseDeviceIndex()116 if (deviceIdFromCmdLine > 0) in chooseDeviceIndex()117 return deviceIdFromCmdLine - 1u; in chooseDeviceIndex()