glue functions for handling the locking are implement as weak symbols in
libff13 itself and overriden to use FreeRTOS's semaphores in epicardium