47 lines
925 B
C
47 lines
925 B
C
/*
|
|
* Copyright (c) 2006-2022, RT-Thread Development Team
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*
|
|
* Change Logs:
|
|
* Date Author Notes
|
|
* 2018-11-22 Jesven first version
|
|
*/
|
|
|
|
#include <rthw.h>
|
|
#include <rtthread.h>
|
|
#include <stdint.h>
|
|
#include "cp15.h"
|
|
#include "board.h"
|
|
#include "gtimer.h"
|
|
|
|
#define TIMER_IRQ 30
|
|
|
|
static rt_uint64_t timerStep = 0;
|
|
|
|
static void rt_hw_timer_isr(int vector, void *param)
|
|
{
|
|
rt_hw_set_gtimer_val(timerStep);
|
|
rt_tick_increase();
|
|
}
|
|
|
|
void rt_hw_timer_enable(void)
|
|
{
|
|
rt_hw_set_gtimer_val(timerStep);
|
|
rt_hw_interrupt_umask(TIMER_IRQ);
|
|
rt_hw_gtimer_enable();
|
|
}
|
|
|
|
int rt_hw_timer_init(void)
|
|
{
|
|
rt_hw_interrupt_install(TIMER_IRQ, rt_hw_timer_isr, RT_NULL, "tick");
|
|
__ISB();
|
|
timerStep = rt_hw_get_gtimer_frq();
|
|
__DSB();
|
|
timerStep /= RT_TICK_PER_SECOND;
|
|
rt_hw_timer_enable();
|
|
|
|
return 0;
|
|
}
|
|
INIT_BOARD_EXPORT(rt_hw_timer_init);
|