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

/* These devices support Timer 4 */
#ifdef _TIMER4

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

void WriteTimer4(unsigned int timer)
{
    TMR4 = timer;     /* assign timer value to Timer4 Register */
}

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