/* De-initialises an TIMER interface, Turns off an TIMER hardware interface */
int32_t hal_timer_finalize(timer_dev_t *tim)
/* De-initialises an TIMER interface, Turns off an TIMER hardware interface */
int32_t hal_timer_finalize(timer_dev_t *tim)
{
    int32_t ret = 0;
    ENTER_FUNCTION();
    _hal_timer_stop();
    LEAVE_FUNCTION();
	return ret;
}