12610     uint32_t* pSwapchainImageCount,  in vkGetSwapchainImagesKHR()  argument
12634         uint64_t cgen_var_819 = (uint64_t)(uintptr_t)pSwapchainImageCount;  in vkGetSwapchainImagesKHR()
12636         if (pSwapchainImageCount)  in vkGetSwapchainImagesKHR()
12638             countingStream->write((uint32_t*)pSwapchainImageCount, sizeof(uint32_t));  in vkGetSwapchainImagesKHR()
12645             if ((*(pSwapchainImageCount)))  in vkGetSwapchainImagesKHR()
12648                 countingStream->alloc((void**)&cgen_var_821, (*(pSwapchainImageCount)) * 8);  in vkGetSwapchainImagesKHR()
12649 …handleMapping()->mapHandles_VkImage_u64(pSwapchainImages, cgen_var_821, (*(pSwapchainImageCount)));  in vkGetSwapchainImagesKHR()
12650                 countingStream->write((uint64_t*)cgen_var_821, (*(pSwapchainImageCount)) * 8);  in vkGetSwapchainImagesKHR()
12666     uint64_t cgen_var_824 = (uint64_t)(uintptr_t)pSwapchainImageCount;  in vkGetSwapchainImagesKHR()
12668     if (pSwapchainImageCount)  in vkGetSwapchainImagesKHR()
12670         stream->write((uint32_t*)pSwapchainImageCount, sizeof(uint32_t));  in vkGetSwapchainImagesKHR()
12678         if ((*(pSwapchainImageCount)))  in vkGetSwapchainImagesKHR()
12681             stream->alloc((void**)&cgen_var_826, (*(pSwapchainImageCount)) * 8);  in vkGetSwapchainImagesKHR()
12682 …handleMapping()->mapHandles_VkImage_u64(pSwapchainImages, cgen_var_826, (*(pSwapchainImageCount)));  in vkGetSwapchainImagesKHR()
12683             stream->write((uint64_t*)cgen_var_826, (*(pSwapchainImageCount)) * 8);  in vkGetSwapchainImagesKHR()
12691     if (pSwapchainImageCount)  in vkGetSwapchainImagesKHR()
12697         stream->read((uint32_t*)pSwapchainImageCount, sizeof(uint32_t));  in vkGetSwapchainImagesKHR()
12708         if ((*(pSwapchainImageCount)))  in vkGetSwapchainImagesKHR()
12711             stream->alloc((void**)&cgen_var_829, (*(pSwapchainImageCount)) * 8);  in vkGetSwapchainImagesKHR()
12712             stream->read((uint64_t*)cgen_var_829, (*(pSwapchainImageCount)) * 8);  in vkGetSwapchainImagesKHR()
12713 …ing()->mapHandles_u64_VkImage(cgen_var_829, (VkImage*)pSwapchainImages, (*(pSwapchainImageCount)));  in vkGetSwapchainImagesKHR()