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)
 {