timer_dispatch.h

/*NB_REVISION*/
 
/*NB_COPYRIGHT*/
 
#ifndef _TIMER_DISPATCH_H
#define _TIMER_DISPATCH_H
 
#include <predef.h>
#include <constants.h>
#include <sim.h> 
 
/* Adds a timer dispatch capability to the system so timers can be used for multiple independent functions */
 
// ISR callback will have timer number and a channel object
typedef void (*TimerIsrHandler)(int timer_num, TcChannel &tc, void *pExtra);
 
// Returns timer allocated, or -1 if timer selected is in use, or -2 if none are available
int AllocateTimer( TimerIsrHandler tisr, void *pExtra, int timer = FIRST_UNUSED_TIMER);
void FreeTimer(int timer);
 
// helper functions
IRQn GetTimerPeriphID(int timer);
TcChannel *GetTc(int timer);
 
#endif