timer_at91.h File Reference

Low-level timer module for Atmel AT91 (interface). More...

#include <hw/hw_cpufreq.h>
#include "cfg/cfg_timer.h"
#include <cfg/compiler.h>
#include <cfg/macros.h>
#include <io/arm.h>

Values for CONFIG_TIMER.
Select which hardware timer interrupt to use for system clock and softtimers.
#define	TIMER_ON_PIT 1
	System timer on Periodic interval timer.
#define	TIMER_DEFAULT TIMER_ON_PIT
	Default system timer.
#define	DEFINE_TIMER_ISR
	System timer on Periodic interval timer.
#define	TIMER_TICKS_PER_SEC 1000
	System timer on Periodic interval timer.
#define	TIMER_HW_CNT (CPU_FREQ / (16 * TIMER_TICKS_PER_SEC) - 1)
	System timer on Periodic interval timer.
#define	TIMER_HW_HPTICKS_PER_SEC (CPU_FREQ / 16)
	Frequency of the hardware high-precision timer.
#define	SIZEOF_HPTIME_T 4
	System timer on Periodic interval timer.
typedef uint32_t	hptime_t
	Type of time expressed in ticks of the hardware high-precision timer.
void	timer_hw_irq (void)
	System timer on Periodic interval timer.
bool	timer_hw_triggered (void)
	System timer on Periodic interval timer.
hptime_t	timer_hw_hpread (void)
	System timer on Periodic interval timer.
void	timer_hw_init (void)
	HW dependent timer initialization.

Detailed Description

Low-level timer module for Atmel AT91 (interface).

Definition in file timer_at91.h.

#define TIMER_HW_HPTICKS_PER_SEC (CPU_FREQ / 16)

Frequency of the hardware high-precision timer.

Definition at line 76 of file timer_at91.h.