#if defined(__PIC24F__)
#include <p24Fxxxx.h>
#endif
#include <timer.h>

/* These devices support Timer 5 */
#ifdef _TIMER5

/********************************************************************
*    Function Name:  WriteTimer5                                    *
*    Description:    This routine writes a 16-bit value to Timer5   *
*    Parameters:     int: value to write to Timer                   *
*    Return Value:   None                                           *
********************************************************************/

void WriteTimer5(unsigned int timer)
{
    TMR5 = timer;     /* assign timer value to Timer5 Register */
}

#else
#warning "Does not build on this target"
#endif
