1 // SPDX-License-Identifier: BSD-2-Clause
3  * Copyright (c) 2014, STMicroelectronics International N.V.
16  * return a known non-NULL invalid pointer when the
34 /* System API - Internal Client API */
39 	size_t n = 0;  in copy_param()  local
43 	up->types = param_types;  in copy_param()
44 	for (n = 0; n < TEE_NUM_PARAMS; n++) {  in copy_param()
45 		switch (TEE_PARAM_TYPE_GET(up->types, n)) {  in copy_param()
48 			a = params[n].value.a;  in copy_param()
49 			b = params[n].value.b;  in copy_param()
54 			a = (vaddr_t)params[n].memref.buffer;  in copy_param()
55 			b = params[n].memref.size;  in copy_param()
61 		up->vals[n * 2] = a;  in copy_param()
62 		up->vals[n * 2 + 1] = b;  in copy_param()
69 	size_t n = 0;  in copy_gp11_param()  local
73 	up->types = param_types;  in copy_gp11_param()
74 	for (n = 0; n < TEE_NUM_PARAMS; n++) {  in copy_gp11_param()
75 		switch (TEE_PARAM_TYPE_GET(up->types, n)) {  in copy_gp11_param()
78 			a = params[n].value.a;  in copy_gp11_param()
79 			b = params[n].value.b;  in copy_gp11_param()
84 			a = (vaddr_t)params[n].memref.buffer;  in copy_gp11_param()
85 			b = params[n].memref.size;  in copy_gp11_param()
91 		up->vals[n * 2] = a;  in copy_gp11_param()
92 		up->vals[n * 2 + 1] = b;  in copy_gp11_param()
99 	size_t n = 0;  in map_tmp_param()  local
116 	for (n = 0; n < TEE_NUM_PARAMS; n++) {  in map_tmp_param()
117 		tmp_va[n] = NULL;  in map_tmp_param()
118 		switch (TEE_PARAM_TYPE_GET(up->types, n)) {  in map_tmp_param()
122 			b = (void *)(vaddr_t)up->vals[n * 2];  in map_tmp_param()
123 			s = up->vals[n * 2 + 1];  in map_tmp_param()
135 				is_tmp_mem[n] = true;  in map_tmp_param()
152 	for (n = 0; n < TEE_NUM_PARAMS; n++) {  in map_tmp_param()
153 		switch (TEE_PARAM_TYPE_GET(up->types, n)) {  in map_tmp_param()
157 			if (!is_tmp_mem[n])  in map_tmp_param()
159 			s = up->vals[n * 2 + 1];  in map_tmp_param()
160 			b = (void *)(vaddr_t)up->vals[n * 2];  in map_tmp_param()
161 			tmp_va[n] = tb;  in map_tmp_param()
163 			up->vals[n * 2] = (vaddr_t)tmp_va[n];  in map_tmp_param()
164 			if (TEE_PARAM_TYPE_GET(up->types, n) !=  in map_tmp_param()
166 				memcpy(tmp_va[n], b, s);  in map_tmp_param()
181 	size_t n;  in update_out_param()  local
182 	uint32_t types = up->types;  in update_out_param()
184 	for (n = 0; n < TEE_NUM_PARAMS; n++) {  in update_out_param()
185 		uintptr_t a = up->vals[n * 2];  in update_out_param()
186 		uintptr_t b = up->vals[n * 2 + 1];  in update_out_param()
188 		switch (TEE_PARAM_TYPE_GET(types, n)) {  in update_out_param()
191 			params[n].value.a = a;  in update_out_param()
192 			params[n].value.b = b;  in update_out_param()
196 			if (tmp_va[n])  in update_out_param()
197 				memcpy(params[n].memref.buffer, tmp_va[n],  in update_out_param()
198 				       MIN(b, params[n].memref.size));  in update_out_param()
199 			params[n].memref.size = b;  in update_out_param()
211 	size_t n = 0;  in update_out_gp11_param()  local
212 	uint32_t types = up->types;  in update_out_gp11_param()
214 	for (n = 0; n < TEE_NUM_PARAMS; n++) {  in update_out_gp11_param()
215 		uintptr_t a = up->vals[n * 2];  in update_out_gp11_param()
216 		uintptr_t b = up->vals[n * 2 + 1];  in update_out_gp11_param()
218 		switch (TEE_PARAM_TYPE_GET(types, n)) {  in update_out_gp11_param()
221 			params[n].value.a = a;  in update_out_gp11_param()
222 			params[n].value.b = b;  in update_out_gp11_param()
226 			if (tmp_va[n])  in update_out_gp11_param()
227 				memcpy(params[n].memref.buffer, tmp_va[n],  in update_out_gp11_param()
228 				       MIN(b, params[n].memref.size));  in update_out_gp11_param()
229 			params[n].memref.size = b;  in update_out_gp11_param()
241 	vaddr_t e1 = b1 + sz1 - 1;  in bufs_intersect()
242 	vaddr_t e2 = b2 + sz2 - 1;  in bufs_intersect()
256 	size_t n = 0;  in check_mem_access_rights_params()  local
258 	for (n = 0; n < TEE_NUM_PARAMS; n++) {  in check_mem_access_rights_params()
261 		switch (TEE_PARAM_TYPE_GET(ta_param_types, n)) {  in check_mem_access_rights_params()
269 					   ta_params[n].memref.buffer,  in check_mem_access_rights_params()
270 					   ta_params[n].memref.size)) {  in check_mem_access_rights_params()
292 	size_t n = 0;  in check_invoke_param()  local
294 	for (n = 0; n < TEE_NUM_PARAMS; n++) {  in check_invoke_param()
296 		void *buf = params[n].memref.buffer;  in check_invoke_param()
297 		size_t size = params[n].memref.size;  in check_invoke_param()
299 		switch (TEE_PARAM_TYPE_GET(pt, n)) {  in check_invoke_param()
527 /* System API - Cancellations */
559 /* System API - Memory Management */
668 		time->seconds = 0;  in TEE_GetTAPersistentTime()
669 		time->millis = 0;  in TEE_GetTAPersistentTime()