+ ws_cache_name, vp, &new_shared_regions);
+ }
+ if (new_shared_regions) {
+ shared_region_mapping_t new_shared_region;
+ shared_region_mapping_t old_shared_region;
+
+ if (shared_file_create_system_region(&new_shared_region))
+ panic("couldn't create system_shared_region\n");
+
+ vm_get_shared_region(task, &old_shared_region);
+ vm_set_shared_region(task, new_shared_region);
+
+ shared_region_mapping_dealloc(old_shared_region);