1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/core/include/hwtimer_arch.h
Kaspar Schleiser 56ee585c81 update Kaspar's email address
kaspar.schleiser@fu-berlin.de is obsolete.
(2nd try, first try was overwritten by some overzealous documenter)
2014-01-28 11:53:19 +01:00

65 lines
1.5 KiB
C

/*
* Copyright (C) 2013 Freie Universität Berlin
*
* This file is subject to the terms and conditions of the GNU Lesser General
* Public License. See the file LICENSE in the top level directory for more
* details.
*/
/**
* @addtogroup core_hwtimer
* @{
*
* @file hwtimer_arch.h
* @brief Architecture specific hwtimer API
*
* @author Freie Universität Berlin, Computer Systems & Telematics
* @author Thomas Hillebrandt <hillebra@inf.fu-berlin.de>
* @author Heiko Will <hwill@inf.fu-berlin.de>
* @author Kaspar Schleiser <kaspar@schleiser.de>
*/
#ifndef HWTIMER_ARCH_H_
#define HWTIMER_ARCH_H_
#include <stdint.h>
/**
* Initialize architecture dependent kernel timer support.
*/
void hwtimer_arch_init(void (*handler)(int), uint32_t fcpu);
/**
* Enable interrupts of hardware timers.
*/
void hwtimer_arch_enable_interrupt(void);
/**
* Disable interrupts of hardware timers.
*/
void hwtimer_arch_disable_interrupt(void);
/**
* Set a kernel timer to raise an interrupt after ::offset kernel timer ticks
* from now.
*/
void hwtimer_arch_set(unsigned long offset, short timer);
/**
* Set a kernel timer to raise an interrupt at specified system time.
*/
void hwtimer_arch_set_absolute(unsigned long value, short timer);
/**
* Unset the kernel timer with the given timer ID.
*/
void hwtimer_arch_unset(short timer);
/**
* Get the current tick count of the default hardware timer.
*/
unsigned long hwtimer_arch_now(void);
/** @} */
#endif /* HWTIMER_ARCH_H_ */