#ifndef _xmk_tmsys_h_
#define _xmk_tmsys_h_
/*----------------------------------------------------------------------------
** SUMMARY: XMK Basic Systerm Timer Interfaces (TMSYS)
**
** DESCRIPTION:
**  This file provides the interface for the system tick timer.
**
** CONFIGURATION OPTION: USE_XMK_SYSTEM_TIMER
**
** DEPENDENCIES:
**  To use this interface the following XMK service(s) MUST always be
**  enabled/configured:
**      USE_XMK_CORE_KERNEL
**
**  NOTES:
**  1. For efficency/optimization some methods are 'inlined'.  The inlining
**     is done by using the preprocessor/macros.  The application should
**     treat all methods as function calls and not rely on the fact they may
**     be currently defined as a macro.
**
----------------------------------------------------------------------------*/

#include "xmkcfg.h"     /* For: Project/Application kernel configuraiton          */

#ifdef __cplusplus
extern "C" {
#endif


/*-------------- MAGIC CONSTANTS -------------------------------------------*/

/** Number of System ticks in 1 second */
#define XMK_NUM_SYSTICKS_PER_SECOND     _XMK_NUM_SYSTICKS_PER_SECOND  



/*-------------- PUBLIC/PUBLISHED API --------------------------------------*/

/** This method returns the system time. System time is measured in
    ticks since power-up.  The duration of a tick is platform/implementation
    specific.
    Prototype:
        XMK_SYSTICKS Xmk_getSystemTime(void);
 */
#define Xmk_getSystemTime()             _Xmk_getSystemTime()


#ifdef __cplusplus
}
#endif
/*--------------------------------------------------------------------------*/
#endif  /* end _xmk_tmsys_h_ */