Merge "Add missing extensions to Kelvin's march setting"

device/device_static_loader.c

diff --git a/device/device_static_loader.c b/device/device_static_loader.c
index cff099f..0a6a22f 100644
--- a/device/device_static_loader.c
+++ b/device/device_static_loader.c
@@ -64,7 +64,7 @@
   }
 
   // Use the default host allocator for buffer allocations.
-  iree_string_view_t identifier = iree_make_cstring_view("sync");
+  iree_string_view_t identifier = iree_make_cstring_view("local-sync");
   iree_hal_allocator_t* device_allocator = NULL;
   if (iree_status_is_ok(status)) {
     status = iree_hal_allocator_create_heap(identifier, host_allocator,

device/device_vmvx_loader.c

diff --git a/device/device_vmvx_loader.c b/device/device_vmvx_loader.c
index 16fa478..c49076f 100644
--- a/device/device_vmvx_loader.c
+++ b/device/device_vmvx_loader.c
@@ -42,7 +42,7 @@
   iree_vm_instance_release(instance);
 
   // Use the default host allocator for buffer allocations.
-  iree_string_view_t identifier = iree_make_cstring_view("vmvx");
+  iree_string_view_t identifier = iree_make_cstring_view("local-sync");
   iree_hal_allocator_t* device_allocator = NULL;
   if (iree_status_is_ok(status)) {
     status = iree_hal_allocator_create_heap(identifier, host_allocator,