483                 VkFormatProperties* pFormatProperties;  in decode()  local
494                 vkReadStream->alloc((void**)&pFormatProperties, sizeof(VkFormatProperties));  in decode()
496                                                      (VkFormatProperties*)(pFormatProperties),  in decode()
498                 if (pFormatProperties) {  in decode()
500                                                         (VkFormatProperties*)(pFormatProperties));  in decode()
507                             (unsigned long long)format, (unsigned long long)pFormatProperties);  in decode()
510                                                                 pFormatProperties);  in decode()
512                 if (pFormatProperties) {  in decode()
514                                                           (VkFormatProperties*)(pFormatProperties));  in decode()
517                                            (VkFormatProperties*)(pFormatProperties));  in decode()
525                         pFormatProperties);  in decode()
9526                 VkFormatProperties2* pFormatProperties;  in decode()  local
9537                 vkReadStream->alloc((void**)&pFormatProperties, sizeof(VkFormatProperties2));  in decode()
9539                                                       (VkFormatProperties2*)(pFormatProperties),  in decode()
9541                 if (pFormatProperties) {  in decode()
9543                                                          (VkFormatProperties2*)(pFormatProperties));  in decode()
9550                             (unsigned long long)format, (unsigned long long)pFormatProperties);  in decode()
9553                                                                  pFormatProperties);  in decode()
9555                 if (pFormatProperties) {  in decode()
9557                         m_state, (VkFormatProperties2*)(pFormatProperties));  in decode()
9560                                             (VkFormatProperties2*)(pFormatProperties));  in decode()
9568                         pFormatProperties);  in decode()
14008                 VkFormatProperties2* pFormatProperties;  in decode()  local
14019                 vkReadStream->alloc((void**)&pFormatProperties, sizeof(VkFormatProperties2));  in decode()
14021                                                       (VkFormatProperties2*)(pFormatProperties),  in decode()
14023                 if (pFormatProperties) {  in decode()
14025                                                          (VkFormatProperties2*)(pFormatProperties));  in decode()
14032                             (unsigned long long)format, (unsigned long long)pFormatProperties);  in decode()
14035                                                                     pFormatProperties);  in decode()
14037                 if (pFormatProperties) {  in decode()
14039                         m_state, (VkFormatProperties2*)(pFormatProperties));  in decode()
14042                                             (VkFormatProperties2*)(pFormatProperties));  in decode()
14050                         pFormatProperties);  in decode()