diff --git a/gapis/api/vulkan/extensions/khr_timeline_semaphore.api b/gapis/api/vulkan/extensions/khr_timeline_semaphore.api
index 549fe36017..4cb9224672 100644
--- a/gapis/api/vulkan/extensions/khr_timeline_semaphore.api
+++ b/gapis/api/vulkan/extensions/khr_timeline_semaphore.api
@@ -51,7 +51,7 @@ class VkSemaphoreSignalInfoKHR {
     VkStructureType    sType
     const void*        pNext
     VkSemaphore        semaphore
-    uint64_t           value
+    u64                value
 }
 
 @extension("VK_KHR_timeline_semaphore")
@@ -59,9 +59,9 @@ class VkSemaphoreWaitInfoKHR {
     VkStructureType         sType
     const void*             pNext
     VkSemaphoreWaitFlags    flags
-    uint32_t                semaphoreCount
+    u32                     semaphoreCount
     const VkSemaphore*      pSemaphores
-    const uint64_t*         pValues
+    const u64*              pValues
 }
 
 //////////////
@@ -71,25 +71,28 @@ class VkSemaphoreWaitInfoKHR {
 // Partial implementation
 @extension("VK_KHR_timeline_semaphore")
 @indirect("VkDevice")
-cmd VkResult vkSignalSemaphore(
+cmd VkResult vkSignalSemaphoreKHR(
     VkDevice                                    device,
-    const VkSemaphoreSignalInfo*                pSignalInfo) {
+    const VkSemaphoreSignalInfoKHR*             pSignalInfo) {
+  return VK_SUCCESS
 }
 
 // Partial implementation
 @extension("VK_KHR_timeline_semaphore")
 @indirect("VkDevice")
-VkResult vkWaitSemaphores(
+cmd VkResult vkWaitSemaphoresKHR(
     VkDevice                                    device,
-    const VkSemaphoreWaitInfo*                  pWaitInfo,
-    uint64_t                                    timeout) {
+    const VkSemaphoreWaitInfoKHR*               pWaitInfo,
+    u64                                         timeout) {
+  return VK_SUCCESS
 }
 
 // Partial implementation
 @extension("VK_KHR_timeline_semaphore")
 @indirect("VkDevice")
-VkResult vkGetSemaphoreCounterValue(
+cmd VkResult vkGetSemaphoreCounterValueKHR(
     VkDevice                                    device,
     VkSemaphore                                 semaphore,
-    uint64_t*                                   pValue) {
+    u64*                                        pValue) {
+  return VK_SUCCESS
 }
\ No newline at end of file
diff --git a/gapis/api/vulkan/vulkan.api b/gapis/api/vulkan/vulkan.api
index e26495f736..c97660030c 100644
--- a/gapis/api/vulkan/vulkan.api
+++ b/gapis/api/vulkan/vulkan.api
@@ -112,6 +112,7 @@ import "extensions/khr_shader_float_controls.api"
 import "extensions/khr_shader_float16_int8.api"
 import "extensions/khr_shader_atomic_int64.api"
 import "extensions/khr_driver_properties.api"
+import "extensions/khr_timeline_semaphore.api"
 
 import "android/vulkan_android.api"
 import "linux/vulkan_linux.api"