Sebastian Huber ec84273de4 score: Replace _API_Mutex_Is_locked() ...

Replace _API_Mutex_Is_locked() with _API_Mutex_Is_owner().

2015-05-27 12:24:24 +02:00

..

include

score: Replace _API_Mutex_Is_locked()

2015-05-27 12:24:24 +02:00

src

Use correct prototype of benchmark_timer_read()

2014-09-16 16:09:12 -05:00