diff --git a/runtime/src/iree/hal/drivers/cuda/cuda_device.c b/runtime/src/iree/hal/drivers/cuda/cuda_device.c
index 30cccca..37d4212 100644
--- a/runtime/src/iree/hal/drivers/cuda/cuda_device.c
+++ b/runtime/src/iree/hal/drivers/cuda/cuda_device.c
@@ -961,7 +961,7 @@
   iree_hal_cuda_device_t* device = iree_hal_cuda_device_cast(base_device);
   IREE_TRACE_ZONE_BEGIN(z0);
 
-  iree_status_t status = iree_hal_deferred_work_queue_enque(
+  iree_status_t status = iree_hal_deferred_work_queue_enqueue(
       device->work_queue, iree_hal_cuda_device_collect_tracing_context,
       device->tracing_context, wait_semaphore_list, signal_semaphore_list,
       command_buffer_count, command_buffers, binding_tables);
diff --git a/runtime/src/iree/hal/drivers/hip/hip_device.c b/runtime/src/iree/hal/drivers/hip/hip_device.c
index f92c784..df1592e 100644
--- a/runtime/src/iree/hal/drivers/hip/hip_device.c
+++ b/runtime/src/iree/hal/drivers/hip/hip_device.c
@@ -959,7 +959,7 @@
   iree_hal_hip_device_t* device = iree_hal_hip_device_cast(base_device);
   IREE_TRACE_ZONE_BEGIN(z0);
 
-  iree_status_t status = iree_hal_deferred_work_queue_enque(
+  iree_status_t status = iree_hal_deferred_work_queue_enqueue(
       device->work_queue, iree_hal_hip_device_collect_tracing_context,
       device->tracing_context, wait_semaphore_list, signal_semaphore_list,
       command_buffer_count, command_buffers, binding_tables);
diff --git a/runtime/src/iree/hal/utils/deferred_work_queue.c b/runtime/src/iree/hal/utils/deferred_work_queue.c
index 76ed80f..99ba702 100644
--- a/runtime/src/iree/hal/utils/deferred_work_queue.c
+++ b/runtime/src/iree/hal/utils/deferred_work_queue.c
@@ -659,7 +659,7 @@
   iree_slim_mutex_unlock(&actions->action_mutex);
 }
 
-iree_status_t iree_hal_deferred_work_queue_enque(
+iree_status_t iree_hal_deferred_work_queue_enqueue(
     iree_hal_deferred_work_queue_t* actions,
     iree_hal_deferred_work_queue_cleanup_callback_t cleanup_callback,
     void* callback_user_data,
diff --git a/runtime/src/iree/hal/utils/deferred_work_queue.h b/runtime/src/iree/hal/utils/deferred_work_queue.h
index c7c6615..3a25886 100644
--- a/runtime/src/iree/hal/utils/deferred_work_queue.h
+++ b/runtime/src/iree/hal/utils/deferred_work_queue.h
@@ -37,7 +37,8 @@
 typedef void* iree_hal_deferred_work_queue_host_device_event_t;
 
 typedef struct iree_hal_deferred_work_queue_device_interface_vtable_t {
-  void (*destroy)(iree_hal_deferred_work_queue_device_interface_t*);
+  void(IREE_API_PTR* destroy)(
+      iree_hal_deferred_work_queue_device_interface_t* device_interface);
   // Binds the device work queue to a thread. May be simulatneously
   // bound to multiple threads.
   iree_status_t(IREE_API_PTR* bind_to_thread)(
@@ -121,9 +122,9 @@
 typedef void(IREE_API_PTR* iree_hal_deferred_work_queue_cleanup_callback_t)(
     void* user_data);
 
-// Enques command buffer submissions into the work queue to be executed
+// Enqueues command buffer submissions into the work queue to be executed
 // once all semaphores have been satisfied.
-iree_status_t iree_hal_deferred_work_queue_enque(
+iree_status_t iree_hal_deferred_work_queue_enqueue(
     iree_hal_deferred_work_queue_t* deferred_work_queue,
     iree_hal_deferred_work_queue_cleanup_callback_t cleanup_callback,
     void* callback_userdata,