added FreeRTOS software timer API