gptimer.h

/*  GPTIMER and GRTIMER timer driver
 *
 *  COPYRIGHT (c) 2015.
 *  Cobham Gaisler.
 *
 *  The license and distribution terms for this file may be
 *  found in found in the file LICENSE in this distribution or at
 *  http://www.rtems.org/license/LICENSE.
 *
 */
 
#ifndef __GPTIMER_H__
#define __GPTIMER_H__
 
#ifdef __cplusplus
extern "C" {
#endif
 
/* The GPTIMER_INFO_AVAIL define set from the BSP bsp.h configures if the 
 * Driver manager info interface is built.
 */
 
/* Register GPTIMER and GRTIMER driver to Driver Manager */
void gptimer_register_drv (void);
 
#ifdef __cplusplus
}
#endif
 
#endif