···740740{
741741 // beginning of GENERATED device extension code - do not modify - used by scripts
742742 // Reset before filling out.
743743+ vk->has_KHR_8bit_storage = false;
743744 vk->has_KHR_external_fence_fd = false;
744745 vk->has_KHR_external_semaphore_fd = false;
745746 vk->has_KHR_format_feature_flags2 = false;
···765766766767 for (uint32_t i = 0; i < ext_count; i++) {
767768 const char *ext = exts[i];
769769+770770+#if defined(VK_KHR_8bit_storage)
771771+ if (strcmp(ext, VK_KHR_8BIT_STORAGE_EXTENSION_NAME) == 0) {
772772+ vk->has_KHR_8bit_storage = true;
773773+ continue;
774774+ }
775775+#endif // defined(VK_KHR_8bit_storage)
768776769777#if defined(VK_KHR_external_fence_fd)
770778 if (strcmp(ext, VK_KHR_EXTERNAL_FENCE_FD_EXTENSION_NAME) == 0) {
+1
src/xrt/auxiliary/vk/vk_helpers.h
···126126 // end of GENERATED instance extension code - do not modify - used by scripts
127127128128 // beginning of GENERATED device extension code - do not modify - used by scripts
129129+ bool has_KHR_8bit_storage;
129130 bool has_KHR_external_fence_fd;
130131 bool has_KHR_external_semaphore_fd;
131132 bool has_KHR_format_feature_flags2;