/********************************************************************************
 * Marvell GPL License Option
 *
 * If you received this File from Marvell, you may opt to use, redistribute and/or
 * modify this File in accordance with the terms and conditions of the General
 * Public License Version 2, June 1991 (the "GPL License"), a copy of which is
 * available along with the File in the license.txt file or by writing to the Free
 * Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 or
 * on the worldwide web at http://www.gnu.org/licenses/gpl.txt.
 *
 * THE FILE IS DISTRIBUTED AS-IS, WITHOUT WARRANTY OF ANY KIND, AND THE IMPLIED
 * WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE ARE EXPRESSLY
 * DISCLAIMED.  The GPL License provides additional details about this warranty
 * disclaimer.
 ******************************************************************************/

#ifndef	__TIMER__
#define	__TIMER__

#define ASIC_PLATFORM 1
#define BERLIN_PLATFORM 1

#define GALOIS_CPU0_TIMER 0
#define GALOIS_UBOOT_TIMER	(GALOIS_CPU0_TIMER)
#define TIMER_LOAD_VAL 0xffffffff

#if 0
#define GALOIS_TIMER_CLOCK (ASIC_PLATFORM == 1? \
		(BERLIN_PLATFORM == 1? 75000000 : 100000000) : \
		(BERLIN_PLATFORM == 1? 4500000 : 1500000))
#endif

#define GALOIS_TIMER_CLOCK 100000000
#ifndef CONFIG_SYS_HZ
#define CONFIG_SYS_HZ			(GALOIS_TIMER_CLOCK)
#endif

extern unsigned int timer_clk_freq;

unsigned long get_timer (unsigned long base);
void reset_timer (void);
void set_timer (unsigned long t);
void udelay(unsigned long usec);
int timer_init (void);
int timer_stop(void);
#endif