Searched refs:deviceExtension (Results 1 – 1 of 1) sorted by relevance
493 String deviceExtension = extension.getString("extensionName"); in testVulkanExposedDeviceExtensions() local494 boolean vk_android = deviceExtension.startsWith("VK_ANDROID"); in testVulkanExposedDeviceExtensions()495 boolean vk_google = deviceExtension.startsWith("VK_GOOGLE"); in testVulkanExposedDeviceExtensions()496 boolean vk_khr = deviceExtension.startsWith("VK_KHR"); in testVulkanExposedDeviceExtensions()500 + deviceExtension); in testVulkanExposedDeviceExtensions()504 if (!allowedDeviceExtensions.contains(deviceExtension)) { in testVulkanExposedDeviceExtensions()507 + deviceDeqpLevel + ": " + deviceExtension); in testVulkanExposedDeviceExtensions()509 untestedExtensions.add(deviceExtension); in testVulkanExposedDeviceExtensions()