/*
 * Copyright (c) 2022, Artinchip Technology Co., Ltd
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#if defined(KERNEL_RTTHREAD)
#include <rtthread.h>
#endif
#include <aic_core.h>

extern void systick_handler(void);
extern void xPortSysTickHandler(void);
extern void OSTimeTick(void);

void SysTick_Handler(void)
{
    csi_clint_config(CORET_BASE, (drv_get_sys_freq() / CONFIG_SYSTICK_HZ), CORET_IRQn);

#if defined(KERNEL_RHINO)
    systick_handler();
#elif defined(KERNEL_FREERTOS)
    xPortSysTickHandler();
#elif defined(KERNEL_RTTHREAD)
    rt_tick_increase();
#elif defined(KERNEL_UCOS)
    OSTimeTick();
#elif defined(KERNEL_BAREMETAL)
#endif
}