Searched refs:tee_ta_single_instance_thread (Results 1 – 1 of 1) sorted by relevance
57 static short int tee_ta_single_instance_thread = THREAD_ID_INVALID; variable78 if (tee_ta_single_instance_thread != thread_get_id()) { in lock_single_instance()80 while (tee_ta_single_instance_thread != THREAD_ID_INVALID) in lock_single_instance()83 tee_ta_single_instance_thread = thread_get_id(); in lock_single_instance()93 assert(tee_ta_single_instance_thread == thread_get_id()); in unlock_single_instance()98 tee_ta_single_instance_thread = THREAD_ID_INVALID; in unlock_single_instance()106 return tee_ta_single_instance_thread == thread_get_id(); in has_single_instance_lock()