/*!
 * \file      hal_timer.h
 *
 * \brief     The header of hal_timer.c
 *
 * \copyright Revised BSD License, see section \ref LICENSE.
 *
 * \code
 *
 *            _  __ _       ________    _
 *           | |/ /(_)___  / ____/ /_  (_)___
 *           |   // / __ \/ /   / __ \/ / __ \
 *          /   |/ / / / / /___/ / / / / /_/ /
 *         /_/|_/_/_/ /_/\____/_/ /_/_/ .___/
 *                                   /_/
 *           (C) 2022-2025 XinChip
 *
 * \endcode
 *
 * \author     ( XinChip ) Alex-J
 *
 * \author     ( XinChip )
 */

#ifndef TIMER_H
#define TIMER_H

#include "hal_types.h"

#define OSAL_TIMER             (TIMER1_IDX)

void osal_timer_init(void);
void osal_timer_start(void);
void osal_timer_tick_set(uint32 tick);
uint32 getMcuPrecisionCount(void);

#endif