1871                 uint32_t memoryRangeCount;  in decode()  local
1881                 memcpy((uint32_t*)&memoryRangeCount, *readStreamPtrPtr, sizeof(uint32_t));  in decode()
1884                                     ((memoryRangeCount)) * sizeof(const VkMappedMemoryRange));  in decode()
1885                 for (uint32_t i = 0; i < (uint32_t)((memoryRangeCount)); ++i) {  in decode()
1891                     for (uint32_t i = 0; i < (uint32_t)((memoryRangeCount)); ++i) {  in decode()
1899                         ioStream, (unsigned long long)device, (unsigned long long)memoryRangeCount,  in decode()
1907                     for (uint32_t i = 0; i < memoryRangeCount; ++i) {  in decode()
1943                     vk->vkFlushMappedMemoryRanges(unboxed_device, memoryRangeCount, pMemoryRanges);  in decode()
1957                         vkFlushMappedMemoryRanges_VkResult_return, device, memoryRangeCount,  in decode()
1969                 uint32_t memoryRangeCount;  in decode()  local
1979                 memcpy((uint32_t*)&memoryRangeCount, *readStreamPtrPtr, sizeof(uint32_t));  in decode()
1982                                     ((memoryRangeCount)) * sizeof(const VkMappedMemoryRange));  in decode()
1983                 for (uint32_t i = 0; i < (uint32_t)((memoryRangeCount)); ++i) {  in decode()
1989                     for (uint32_t i = 0; i < (uint32_t)((memoryRangeCount)); ++i) {  in decode()
1998                         ioStream, (unsigned long long)device, (unsigned long long)memoryRangeCount,  in decode()
2003                     unboxed_device, memoryRangeCount, pMemoryRanges);  in decode()
2011                     for (uint32_t i = 0; i < memoryRangeCount; ++i) {  in decode()
2037                         vkInvalidateMappedMemoryRanges_VkResult_return, device, memoryRangeCount,  in decode()