From ceeeb2d136029563ad617fc8c3fd650a1d98a039 Mon Sep 17 00:00:00 2001
From: Jakob Bornecrantz <jakob@collabora.com>
Date: Tue, 29 Aug 2023 16:57:01 +0100
Subject: [PATCH] a/vk: Make VkPhysicalDeviceProperties argument const

---
 src/xrt/auxiliary/vk/vk_helpers.h | 2 +-
 src/xrt/auxiliary/vk/vk_print.c   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/xrt/auxiliary/vk/vk_helpers.h b/src/xrt/auxiliary/vk/vk_helpers.h
index f791d6412..ff933f5c9 100644
--- a/src/xrt/auxiliary/vk/vk_helpers.h
+++ b/src/xrt/auxiliary/vk/vk_helpers.h
@@ -630,7 +630,7 @@ vk_name_object(struct vk_bundle *vk, VkDebugReportObjectTypeEXT object_type, uin
 void
 vk_print_device_info(struct vk_bundle *vk,
                      enum u_logging_level log_level,
-                     VkPhysicalDeviceProperties *pdp,
+                     const VkPhysicalDeviceProperties *pdp,
                      uint32_t gpu_index,
                      const char *title);
 
diff --git a/src/xrt/auxiliary/vk/vk_print.c b/src/xrt/auxiliary/vk/vk_print.c
index 6ba1cdfb8..fcfc13b8a 100644
--- a/src/xrt/auxiliary/vk/vk_print.c
+++ b/src/xrt/auxiliary/vk/vk_print.c
@@ -48,7 +48,7 @@
 void
 vk_print_device_info(struct vk_bundle *vk,
                      enum u_logging_level log_level,
-                     VkPhysicalDeviceProperties *pdp,
+                     const VkPhysicalDeviceProperties *pdp,
                      uint32_t gpu_index,
                      const char *title)
 {