/** Timer related helper functions
 *
 * These functions present a simpler interface to Xilinx' Timer Counter driver (XTmrCtr_*)
 *
 * @file
 * @author Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
 * @copyright 2016, Steffen Vogel
 */
/**
 * @addtogroup fpga VILLASfpga
 * @{
 **********************************************************************************/

#pragma once

#include <xilinx/xtmrctr.h>

struct timer {
	XTmrCtr inst;
};

/** @} */