diff --git a/src/xrt/auxiliary/vk/vk_helpers.h b/src/xrt/auxiliary/vk/vk_helpers.h
index 07a8bb02e..6e59b6b10 100644
--- a/src/xrt/auxiliary/vk/vk_helpers.h
+++ b/src/xrt/auxiliary/vk/vk_helpers.h
@@ -488,6 +488,15 @@ vk_print_device_info(struct vk_bundle *vk,
                      uint32_t gpu_index,
                      const char *title);
 
+/*!
+ * Print device information about the device that bundle manages at the given
+ * logging level if the vk_bundle has that level enabled.
+ *
+ * @ingroup aux_vk
+ */
+void
+vk_print_opened_device_info(struct vk_bundle *vk, enum u_logging_level log_level);
+
 /*!
  * Print device features to the logger at the given logging level, if the
  * vk_bundle has that level enabled.
diff --git a/src/xrt/auxiliary/vk/vk_print.c b/src/xrt/auxiliary/vk/vk_print.c
index 236a0af99..1a522a888 100644
--- a/src/xrt/auxiliary/vk/vk_print.c
+++ b/src/xrt/auxiliary/vk/vk_print.c
@@ -36,6 +36,15 @@ vk_print_device_info(struct vk_bundle *vk,
 	          pdp->driverVersion);               // Driver specific
 }
 
+void
+vk_print_opened_device_info(struct vk_bundle *vk, enum u_logging_level log_level)
+{
+	VkPhysicalDeviceProperties pdp;
+	vk->vkGetPhysicalDeviceProperties(vk->physical_device, &pdp);
+
+	vk_print_device_info(vk, log_level, &pdp, 0, "Device info:\n");
+}
+
 void
 vk_print_features_info(struct vk_bundle *vk, enum u_logging_level log_level)
 {