13359     uint32_t* pDisplayCount,  in vkGetDisplayPlaneSupportedDisplaysKHR()  argument
13381         uint64_t cgen_var_878 = (uint64_t)(uintptr_t)pDisplayCount;  in vkGetDisplayPlaneSupportedDisplaysKHR()
13383         if (pDisplayCount)  in vkGetDisplayPlaneSupportedDisplaysKHR()
13385             countingStream->write((uint32_t*)pDisplayCount, sizeof(uint32_t));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13392             if ((*(pDisplayCount)))  in vkGetDisplayPlaneSupportedDisplaysKHR()
13395                 countingStream->alloc((void**)&cgen_var_880, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13396 …gStream->handleMapping()->mapHandles_VkDisplayKHR_u64(pDisplays, cgen_var_880, (*(pDisplayCount)));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13397                 countingStream->write((uint64_t*)cgen_var_880, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13411     uint64_t cgen_var_882 = (uint64_t)(uintptr_t)pDisplayCount;  in vkGetDisplayPlaneSupportedDisplaysKHR()
13413     if (pDisplayCount)  in vkGetDisplayPlaneSupportedDisplaysKHR()
13415         stream->write((uint32_t*)pDisplayCount, sizeof(uint32_t));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13423         if ((*(pDisplayCount)))  in vkGetDisplayPlaneSupportedDisplaysKHR()
13426             stream->alloc((void**)&cgen_var_884, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13427 … stream->handleMapping()->mapHandles_VkDisplayKHR_u64(pDisplays, cgen_var_884, (*(pDisplayCount)));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13428             stream->write((uint64_t*)cgen_var_884, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13436     if (pDisplayCount)  in vkGetDisplayPlaneSupportedDisplaysKHR()
13442         stream->read((uint32_t*)pDisplayCount, sizeof(uint32_t));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13453         if ((*(pDisplayCount)))  in vkGetDisplayPlaneSupportedDisplaysKHR()
13456             stream->alloc((void**)&cgen_var_887, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13457             stream->read((uint64_t*)cgen_var_887, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13458 …Mapping()->mapHandles_u64_VkDisplayKHR(cgen_var_887, (VkDisplayKHR*)pDisplays, (*(pDisplayCount)));  in vkGetDisplayPlaneSupportedDisplaysKHR()