OpenWSN Firmware
bsp_timer.h File Reference
#include "stdint.h"
#include "board.h"

Go to the source code of this file.

Typedefs

typedef void(* bsp_timer_cbt )(void)
 

Functions

void bsp_timer_init (void)
 
void bsp_timer_set_callback (bsp_timer_cbt cb)
 
void bsp_timer_reset (void)
 
void bsp_timer_scheduleIn (PORT_TIMER_WIDTH delayTicks)
 
void bsp_timer_cancel_schedule (void)
 
PORT_TIMER_WIDTH bsp_timer_get_currentValue (void)
 
kick_scheduler_t bsp_timer_isr (void)