/*-----------------------------------------------------------------------------
//     $Date: 2002/09/16 21:19:30 $
//     $RCSfile: xtime_l.h,v $
//-----------------------------------------------------------------------------
//
//     XILINX IS PROVIDING THIS DESIGN, CODE, OR INFORMATION "AS IS"
//     SOLELY FOR USE IN DEVELOPING PROGRAMS AND SOLUTIONS FOR
//     XILINX DEVICES.  BY PROVIDING THIS DESIGN, CODE, OR INFORMATION
//     AS ONE POSSIBLE IMPLEMENTATION OF THIS FEATURE, APPLICATION
//     OR STANDARD, XILINX IS MAKING NO REPRESENTATION THAT THIS
//     IMPLEMENTATION IS FREE FROM ANY CLAIMS OF INFRINGEMENT,
//     AND YOU ARE RESPONSIBLE FOR OBTAINING ANY RIGHTS YOU MAY REQUIRE
//     FOR YOUR IMPLEMENTATION.  XILINX EXPRESSLY DISCLAIMS ANY
//     WARRANTY WHATSOEVER WITH RESPECT TO THE ADEQUACY OF THE
//     IMPLEMENTATION, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OR
//     REPRESENTATIONS THAT THIS IMPLEMENTATION IS FREE FROM CLAIMS OF
//     INFRINGEMENT, IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
//     FOR A PARTICULAR PURPOSE.
//     
//     (c) Copyright 2002 Xilinx, Inc.
//     All rights reserved.
//
//---------------------------------------------------------------------------*/

#ifndef XTIME_H
#define XTIME_H

typedef unsigned long long XTime;

void XTime_SetTime(XTime Xtime);

void XTime_GetTime(XTime *Xtime);

void XTime_TSRClearStatusBits(unsigned long Bitmask);

void XTime_PITSetInterval(unsigned long Interval);

void XTime_PITEnableInterrupt(void);

void XTime_PITDisableInterrupt(void);

void XTime_PITEnableAutoReload(void);

void XTime_PITDisableAutoReload(void);

void XTime_PITClearInterrupt(void);

void XTime_FITSetPeriod(unsigned long Period);

void XTime_FITEnableInterrupt(void);

void XTime_FITDisableInterrupt(void);

void XTime_FITEnableAutoReload(void);

void XTime_FITDisableAutoReload(void);

void XTime_FITClearInterrupt(void);

void XTime_WDTSetPeriod(unsigned long Period);

void XTime_WDTEnableInterrupt(void);

void XTime_WDTDisableInterrupt(void);

void XTime_WDTClearInterrupt(void);

void XTime_WDTClearResetStatus(void);

void XTime_WDTEnableNextWatchdog(void);

void XTime_WDTResetControl(unsigned long ControlVal);

#endif

