1 files changed, 4 insertions, 1 deletions
diff --git a/tools/gfx/vulkan/vk-api.cpp b/tools/gfx/vulkan/vk-api.cpp
index 7e1a9bae2..8f5e4235b 100644
--- a/tools/gfx/vulkan/vk-api.cpp
+++ b/tools/gfx/vulkan/vk-api.cpp
@@ -91,7 +91,10 @@ Slang::Result VulkanApi::initDeviceProcs(VkDevice device)
         vkGetBufferDeviceAddressKHR = vkGetBufferDeviceAddressEXT;
     if (!vkGetBufferDeviceAddress && vkGetBufferDeviceAddressKHR)
         vkGetBufferDeviceAddress = vkGetBufferDeviceAddressKHR;
-
+    if (!vkGetSemaphoreCounterValue && vkGetSemaphoreCounterValueKHR)
+        vkGetSemaphoreCounterValue = vkGetSemaphoreCounterValueKHR;
+    if (!vkSignalSemaphore && vkSignalSemaphoreKHR)
+        vkSignalSemaphore = vkSignalSemaphoreKHR;
     m_device = device;
     return SLANG_OK;
 }