- 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);