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