blob: 19bac097a930355975838e24d1fe1b94212de436 [file] [log] [blame]
/*
* Copyright (c) 2017 Oticon A/S
*
* SPDX-License-Identifier: Apache-2.0
*/
/**
* Driver for the timer model of the POSIX native_posix board
* It provides the interfaces required by the kernel and the sanity testcases
* It also provides a custom k_busy_wait() which can be used with the
* POSIX arch and InfClock SOC
*/
#include "zephyr/types.h"
#include "irq.h"
#include "device.h"
#include "drivers/system_timer.h"
#include "sys_clock.h"
#include "timer_model.h"
#include "soc.h"
static u64_t tick_period; /* System tick period in number of hw cycles */
static s32_t silent_ticks;
/**
* Return the current HW cycle counter
* (number of microseconds since boot in 32bits)
*/
u32_t _timer_cycle_get_32(void)
{
return hwm_get_time();
}
extern u64_t posix_get_hw_cycle(void);
#ifdef CONFIG_TICKLESS_IDLE
/*
* Do not raise another ticker interrupt until the sys_ticks'th one
* e.g. if sys_ticks is 10, do not raise the next 9 ones
*/
void _timer_idle_enter(s32_t sys_ticks)
{
silent_ticks = sys_ticks - 1;
hwtimer_set_silent_ticks(silent_ticks);
}
/*
* Exit from idle mode
*/
void _timer_idle_exit(void)
{
silent_ticks -= hwtimer_get_pending_silent_ticks();
hwtimer_set_silent_ticks(0);
}
#endif
static void sp_timer_isr(void *arg)
{
ARG_UNUSED(arg);
_sys_idle_elapsed_ticks = silent_ticks + 1;
silent_ticks = 0;
_sys_clock_tick_announce();
}
/*
* Initialize the hwtimer and setup its interrupt
*/
int _sys_clock_driver_init(struct device *device)
{
ARG_UNUSED(device);
tick_period = CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC /
CONFIG_SYS_CLOCK_TICKS_PER_SEC;
hwtimer_enable(tick_period);
IRQ_CONNECT(TIMER_TICK_IRQ, 1, sp_timer_isr, 0, 0);
irq_enable(TIMER_TICK_IRQ);
return 0;
}
#if defined(CONFIG_ARCH_HAS_CUSTOM_BUSY_WAIT)
/**
* Replacement to the kernel k_busy_wait()
* Will block this thread (and therefore the whole zephyr) during usec_to_wait
*
* Note that interrupts may be received in the meanwhile and that therefore this
* thread may loose context
*/
void k_busy_wait(u32_t usec_to_wait)
{
u64_t time_end = hwm_get_time() + usec_to_wait;
while (hwm_get_time() < time_end) {
/*There may be wakes due to other interrupts*/
hwtimer_wake_in_time(time_end);
posix_halt_cpu();
}
}
#endif