+extern shared_region_mapping_t update_default_shared_region(
+ shared_region_mapping_t new_system_region);
+
+extern shared_region_mapping_t lookup_default_shared_region(
+ unsigned int fs_base,
+ unsigned int system);
+
+extern void remove_default_shared_region(
+ shared_region_mapping_t system_region);
+
+__private_extern__ void remove_default_shared_region_lock(
+ shared_region_mapping_t system_region,
+ int need_lock);
+