/*
 * Copyright 2015 Linaro Ltd.
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 */

#ifndef __SOC_IMX_TIMER_H__
#define __SOC_IMX_TIMER_H__

enum imx_gpt_type {
	GPT_TYPE_IMX1,		/* i.MX1 */
	GPT_TYPE_IMX21,		/* i.MX21/27 */
	GPT_TYPE_IMX31,		/* i.MX31/35/25/37/51/6Q */
	GPT_TYPE_IMX6DL,	/* i.MX6DL/SX/SL */
};

/*
 * This is a stop-gap solution for clock drivers like imx1/imx21 which call
 * mxc_timer_init() to initialize timer for non-DT boot.  It can be removed
 * when these legacy non-DT support is converted or dropped.
 */
void mxc_timer_init(unsigned long pbase, int irq, enum imx_gpt_type type);

#endif  /* __SOC_IMX_TIMER_H__ */