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