[Review] Add support for several user TA stores

Address Etienne's comments (round #3).

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>

Author: jforissier

core/arch/arm/kernel/elf_load.h

@@ -71,9 +71,10 @@ struct user_ta_store_ops {
 	/*
 	 * user_ta_store_ops instances are kept in a list ordered by priority.
 	 * Higher priority instances are tried first when a TA is looked up.
+	 * @priority lower value means higher priority
 	 */
 	SLIST_ENTRY(user_ta_store_ops) link;
-	int priority; /* Lower value means higher priority */
+	int priority;
 };
 
 TEE_Result elf_load_init(const struct user_ta_store_ops *ta_store,

core/arch/arm/kernel/user_ta.c

@@ -606,7 +606,7 @@ TEE_Result tee_ta_register_ta_store(struct user_ta_store_ops *ops)
 	SLIST_FOREACH(e, &uta_store_list, link) {
 		/*
 		 * Do not allow equal priorities to avoid any dependency on
-		 * registration order
+		 * registration order.
 		 */
 		assert(e->priority != ops->priority);
 		if (e->priority > ops->priority)