Searched refs:thread_spmc_relinquish (Results 1 – 3 of 3) sorted by relevance
81 void thread_spmc_relinquish(uint64_t memory_region_handle);
630 thread_spmc_relinquish(cookie); in mobj_ffa_unregister_by_cookie()
2682 void thread_spmc_relinquish(uint64_t cookie) in thread_spmc_relinquish() function