Searched refs:shared_region_key_dealloc (Results 1 – 3 of 3) sorted by relevance
162 extern void shared_region_key_dealloc(
271 shared_region_key_dealloc(char *shared_region_id) in shared_region_key_dealloc() function
8174 shared_region_key_dealloc(old_id); in task_set_shared_region_id()