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