517 		uint64_t cookie = arg->params[0].u.rmem.shm_ref;  in unregister_shm()  local
518 		TEE_Result res = mobj_reg_shm_release_by_cookie(cookie);  in unregister_shm()
538 	uint64_t cookie = 0;  in lend_protmem()  local
549 	cookie = READ_ONCE(tmem->shm_ref);  in lend_protmem()
560 	mobj = mobj_protmem_alloc(pa, sz, cookie, use_case);  in lend_protmem()
572 	uint64_t cookie = 0;  in assign_protmem()  local
578 	cookie = READ_ONCE(arg->params[0].u.value.a);  in assign_protmem()
580 	res = mobj_ffa_assign_protmem(cookie, use_case);  in assign_protmem()
590 		uint64_t cookie = READ_ONCE(arg->params[0].u.rmem.shm_ref);  in reclaim_protmem()  local
591 		TEE_Result res = mobj_protmem_release_by_cookie(cookie);  in reclaim_protmem()
595 			     cookie);  in reclaim_protmem()