87 	res = get_slot_offset(params[0].value.a, &slot_offset);  in read_rb_idx()
120 	params[1].value.a = idx >> 32;  in read_rb_idx()
121 	params[1].value.b = idx;  in read_rb_idx()
143 	res = get_slot_offset(params[0].value.a, &slot_offset);  in write_rb_idx()
146 	widx = ((uint64_t)params[1].value.a << 32) | params[1].value.b;  in write_rb_idx()
207 	params[0].value.a = lock_state;  in read_lock_state()
229 	wlock_state = params[0].value.a;  in write_lock_state()
268 	char *value = NULL;  in write_persist_value()  local
276 	value = TEE_Malloc(value_sz, 0);  in write_persist_value()
277 	if (!value)  in write_persist_value()
280 	TEE_MemMove(value, params[1].memref.buffer, value_sz);  in write_persist_value()
289 					 flags, NULL, value,  in write_persist_value()
296 	TEE_Free(value);  in write_persist_value()
317 	char *value = NULL;  in read_persist_value()  local
326 	value = TEE_Malloc(value_sz, 0);  in read_persist_value()
327 	if (!value)  in read_persist_value()
342 	res =  TEE_ReadObjectData(h, value, value_sz, &count);  in read_persist_value()
348 	TEE_MemMove(params[1].memref.buffer, value,  in read_persist_value()
355 	TEE_Free(value);  in read_persist_value()