419                                           uint32_t *pPropertyCount,  in wsi_GetPhysicalDeviceDisplayPropertiesKHR()  argument
429                                                         pPropertyCount,  in wsi_GetPhysicalDeviceDisplayPropertiesKHR()
440          vk_zalloc(wsi->alloc, sizeof(*props2) * *pPropertyCount, 8,  in wsi_GetPhysicalDeviceDisplayPropertiesKHR()
445       for (uint32_t i = 0; i < *pPropertyCount; i++)  in wsi_GetPhysicalDeviceDisplayPropertiesKHR()
450                                                     pPropertyCount, props2);  in wsi_GetPhysicalDeviceDisplayPropertiesKHR()
453          for (uint32_t i = 0; i < *pPropertyCount; i++)  in wsi_GetPhysicalDeviceDisplayPropertiesKHR()
465                                            uint32_t *pPropertyCount,  in wsi_GetPhysicalDeviceDisplayProperties2KHR()  argument
481    VK_OUTARRAY_MAKE(conn, pProperties, pPropertyCount);  in wsi_GetPhysicalDeviceDisplayProperties2KHR()
509    *pPropertyCount = 0;  in wsi_GetPhysicalDeviceDisplayProperties2KHR()
536                                                uint32_t *pPropertyCount,  in wsi_GetPhysicalDeviceDisplayPlanePropertiesKHR()  argument
544    VK_OUTARRAY_MAKE(conn, pProperties, pPropertyCount);  in wsi_GetPhysicalDeviceDisplayPlanePropertiesKHR()
561                                                 uint32_t *pPropertyCount,  in wsi_GetPhysicalDeviceDisplayPlaneProperties2KHR()  argument
569    VK_OUTARRAY_MAKE(conn, pProperties, pPropertyCount);  in wsi_GetPhysicalDeviceDisplayPlaneProperties2KHR()
633                                 uint32_t *pPropertyCount,  in wsi_GetDisplayModePropertiesKHR()  argument
641    VK_OUTARRAY_MAKE(conn, pProperties, pPropertyCount);  in wsi_GetDisplayModePropertiesKHR()
662                                  uint32_t *pPropertyCount,  in wsi_GetDisplayModeProperties2KHR()  argument
670    VK_OUTARRAY_MAKE(conn, pProperties, pPropertyCount);  in wsi_GetDisplayModeProperties2KHR()