13034     uint32_t* pDisplayCount,  in vkGetDisplayPlaneSupportedDisplaysKHR()  argument
13056         uint64_t cgen_var_878 = (uint64_t)(uintptr_t)pDisplayCount;  in vkGetDisplayPlaneSupportedDisplaysKHR()
13058         if (pDisplayCount)  in vkGetDisplayPlaneSupportedDisplaysKHR()
13060             countingStream->write((uint32_t*)pDisplayCount, sizeof(uint32_t));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13067             if ((*(pDisplayCount)))  in vkGetDisplayPlaneSupportedDisplaysKHR()
13070                 countingStream->alloc((void**)&cgen_var_880, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13071 …gStream->handleMapping()->mapHandles_VkDisplayKHR_u64(pDisplays, cgen_var_880, (*(pDisplayCount)));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13072                 countingStream->write((uint64_t*)cgen_var_880, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13086     uint64_t cgen_var_882 = (uint64_t)(uintptr_t)pDisplayCount;  in vkGetDisplayPlaneSupportedDisplaysKHR()
13088     if (pDisplayCount)  in vkGetDisplayPlaneSupportedDisplaysKHR()
13090         stream->write((uint32_t*)pDisplayCount, sizeof(uint32_t));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13098         if ((*(pDisplayCount)))  in vkGetDisplayPlaneSupportedDisplaysKHR()
13101             stream->alloc((void**)&cgen_var_884, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13102 … stream->handleMapping()->mapHandles_VkDisplayKHR_u64(pDisplays, cgen_var_884, (*(pDisplayCount)));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13103             stream->write((uint64_t*)cgen_var_884, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13111     if (pDisplayCount)  in vkGetDisplayPlaneSupportedDisplaysKHR()
13117         stream->read((uint32_t*)pDisplayCount, sizeof(uint32_t));  in vkGetDisplayPlaneSupportedDisplaysKHR()
13128         if ((*(pDisplayCount)))  in vkGetDisplayPlaneSupportedDisplaysKHR()
13131             stream->alloc((void**)&cgen_var_887, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13132             stream->read((uint64_t*)cgen_var_887, (*(pDisplayCount)) * 8);  in vkGetDisplayPlaneSupportedDisplaysKHR()
13133 …Mapping()->mapHandles_u64_VkDisplayKHR(cgen_var_887, (VkDisplayKHR*)pDisplays, (*(pDisplayCount)));  in vkGetDisplayPlaneSupportedDisplaysKHR()