2730                 uint32_t fenceCount;  in decode()  local
2737                 memcpy((uint32_t*)&fenceCount, *readStreamPtrPtr, sizeof(uint32_t));  in decode()
2739                 vkReadStream->alloc((void**)&pFences, ((fenceCount)) * sizeof(const VkFence));  in decode()
2740                 if (((fenceCount))) {  in decode()
2742                     *readStreamPtrPtr += 8 * ((fenceCount));  in decode()
2743                     for (uint32_t k = 0; k < ((fenceCount)); ++k) {  in decode()
2751                             ioStream, (unsigned long long)device, (unsigned long long)fenceCount,  in decode()
2756                     m_state->on_vkResetFences(&m_pool, device, fenceCount, pFences);  in decode()
2769                                                        device, fenceCount, pFences);  in decode()
2822                 uint32_t fenceCount;  in decode()  local
2834                 memcpy((uint32_t*)&fenceCount, *readStreamPtrPtr, sizeof(uint32_t));  in decode()
2836                 vkReadStream->alloc((void**)&pFences, ((fenceCount)) * sizeof(const VkFence));  in decode()
2837                 if (((fenceCount))) {  in decode()
2839                     *readStreamPtrPtr += 8 * ((fenceCount));  in decode()
2840                     for (uint32_t k = 0; k < ((fenceCount)); ++k) {  in decode()
2853                             ioStream, (unsigned long long)device, (unsigned long long)fenceCount,  in decode()
2861                     vk->vkWaitForFences(unboxed_device, fenceCount, pFences, waitAll, timeout);  in decode()
2874                                                          device, fenceCount, pFences, waitAll,  in decode()