1 // SPDX-License-Identifier: BSD-2-Clause
80 	size_t count;  in read_rb_idx()  local
99 	res =  TEE_ReadObjectData(h, &idx, sizeof(idx), &count);  in read_rb_idx()
102 	if (count != sizeof(idx)) {  in read_rb_idx()
105 		if (count) {  in read_rb_idx()
136 	size_t count;  in write_rb_idx()  local
156 	res =  TEE_ReadObjectData(h, &idx, sizeof(idx), &count);  in write_rb_idx()
159 	if (count != sizeof(idx))  in write_rb_idx()
184 	size_t count;  in read_lock_state()  local
195 	res =  TEE_ReadObjectData(h, &lock_state, sizeof(lock_state), &count);  in read_lock_state()
198 	if (count != sizeof(lock_state)) {  in read_lock_state()
222 	size_t count;  in write_lock_state()  local
235 	res =  TEE_ReadObjectData(h, &lock_state, sizeof(lock_state), &count);  in write_lock_state()
238 	if (count == sizeof(lock_state) && lock_state == wlock_state)  in write_lock_state()
318 	size_t count = 0;  in read_persist_value()  local
342 	res =  TEE_ReadObjectData(h, value, value_sz, &count);  in read_persist_value()
351 	params[1].memref.size = count;  in read_persist_value()