12229     uint32_t* pSurfaceFormatCount,  in vkGetPhysicalDeviceSurfaceFormatsKHR()  argument
12253         uint64_t cgen_var_786 = (uint64_t)(uintptr_t)pSurfaceFormatCount;  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12255         if (pSurfaceFormatCount)  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12257             countingStream->write((uint32_t*)pSurfaceFormatCount, sizeof(uint32_t));  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12264             for (uint32_t i = 0; i < (uint32_t)(*(pSurfaceFormatCount)); ++i)  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12282     uint64_t cgen_var_790 = (uint64_t)(uintptr_t)pSurfaceFormatCount;  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12284     if (pSurfaceFormatCount)  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12286         stream->write((uint32_t*)pSurfaceFormatCount, sizeof(uint32_t));  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12293         for (uint32_t i = 0; i < (uint32_t)(*(pSurfaceFormatCount)); ++i)  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12302     if (pSurfaceFormatCount)  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12308         stream->read((uint32_t*)pSurfaceFormatCount, sizeof(uint32_t));  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12319         for (uint32_t i = 0; i < (uint32_t)(*(pSurfaceFormatCount)); ++i)  in vkGetPhysicalDeviceSurfaceFormatsKHR()
12326         for (uint32_t i = 0; i < (uint32_t)(*(pSurfaceFormatCount)); ++i)  in vkGetPhysicalDeviceSurfaceFormatsKHR()
17198     uint32_t* pSurfaceFormatCount,  in vkGetPhysicalDeviceSurfaceFormats2KHR()  argument
17229         uint64_t cgen_var_1104 = (uint64_t)(uintptr_t)pSurfaceFormatCount;  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17231         if (pSurfaceFormatCount)  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17233             countingStream->write((uint32_t*)pSurfaceFormatCount, sizeof(uint32_t));  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17240             for (uint32_t i = 0; i < (uint32_t)(*(pSurfaceFormatCount)); ++i)  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17256     uint64_t cgen_var_1107 = (uint64_t)(uintptr_t)pSurfaceFormatCount;  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17258     if (pSurfaceFormatCount)  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17260         stream->write((uint32_t*)pSurfaceFormatCount, sizeof(uint32_t));  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17267         for (uint32_t i = 0; i < (uint32_t)(*(pSurfaceFormatCount)); ++i)  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17276     if (pSurfaceFormatCount)  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17282         stream->read((uint32_t*)pSurfaceFormatCount, sizeof(uint32_t));  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17293         for (uint32_t i = 0; i < (uint32_t)(*(pSurfaceFormatCount)); ++i)  in vkGetPhysicalDeviceSurfaceFormats2KHR()
17300         for (uint32_t i = 0; i < (uint32_t)(*(pSurfaceFormatCount)); ++i)  in vkGetPhysicalDeviceSurfaceFormats2KHR()