691 	uint32_t field;  in op_u32_to_binary_helper()  local
694 	if (ADD_OVERFLOW(*offs, sizeof(field), &next_offs))  in op_u32_to_binary_helper()
698 		field = TEE_U32_TO_BIG_ENDIAN(v);  in op_u32_to_binary_helper()
699 		memcpy(data + *offs, &field, sizeof(field));  in op_u32_to_binary_helper()
709 	uint32_t field;  in op_u32_from_binary_helper()  local
711 	if (!data || (*offs + sizeof(field)) > data_len)  in op_u32_from_binary_helper()
714 	memcpy(&field, data + *offs, sizeof(field));  in op_u32_from_binary_helper()
715 	*v = TEE_U32_FROM_BIG_ENDIAN(field);  in op_u32_from_binary_helper()
716 	(*offs) += sizeof(field);  in op_u32_from_binary_helper()