- shared_region_mapping_ref(system_shared_region);
- vm_set_shared_region(get_threadtask(th_act), system_shared_region);
+ system_region = lookup_default_shared_region(ENV_DEFAULT_ROOT,
+ machine_slot[cpu_number()].cpu_type);
+ if (system_region == NULL) {
+ shared_file_boot_time_init(ENV_DEFAULT_ROOT,
+ machine_slot[cpu_number()].cpu_type);
+ } else {
+ vm_set_shared_region(get_threadtask(th_act), system_region);
+ }