48 pthread_mutex_t hal_mtx = PTHREAD_MUTEX_INITIALIZER;  variable
70   (void)pthread_mutex_lock(&hal_mtx);  in hal_open()
85       (void) pthread_mutex_unlock(&hal_mtx);  in hal_open()
89   (void)pthread_mutex_unlock(&hal_mtx);  in hal_open()
101   (void) pthread_mutex_lock(&hal_mtx);  in hal_write()
109       (void) pthread_mutex_unlock(&hal_mtx);  in hal_write()
115       (void) pthread_mutex_unlock(&hal_mtx);  in hal_write()
118   (void) pthread_mutex_unlock(&hal_mtx);  in hal_write()
127   (void)pthread_mutex_lock(&hal_mtx);  in hal_core_initialized()
131   (void) pthread_mutex_unlock(&hal_mtx);  in hal_core_initialized()
146   (void)pthread_mutex_lock(&hal_mtx);  in hal_close()
148     (void)pthread_mutex_unlock(&hal_mtx);  in hal_close()
153     (void)pthread_mutex_unlock(&hal_mtx);  in hal_close()
157   (void)pthread_mutex_unlock(&hal_mtx);  in hal_close()
177   (void) pthread_mutex_lock(&hal_mtx);  in hal_power_cycle()
185       (void) pthread_mutex_unlock(&hal_mtx);  in hal_power_cycle()
190   (void) pthread_mutex_unlock(&hal_mtx);  in hal_power_cycle()
200   (void) pthread_mutex_lock(&hal_mtx);  in nfc_close()
202   (void) pthread_mutex_unlock(&hal_mtx);  in nfc_close()