1/*
 2 * Copyright 2015 Linaro Ltd.
 3 *
 4 * This program is free software; you can redistribute it and/or modify
 5 * it under the terms of the GNU General Public License version 2 as
 6 * published by the Free Software Foundation.
 7 */
 8
 9#ifndef __SOC_IMX_TIMER_H__
10#define __SOC_IMX_TIMER_H__
11
12enum imx_gpt_type {
13	GPT_TYPE_IMX1,		/* i.MX1 */
14	GPT_TYPE_IMX21,		/* i.MX21/27 */
15	GPT_TYPE_IMX31,		/* i.MX31/35/25/37/51/6Q */
16	GPT_TYPE_IMX6DL,	/* i.MX6DL/SX/SL */
17};
18
19/*
20 * This is a stop-gap solution for clock drivers like imx1/imx21 which call
21 * mxc_timer_init() to initialize timer for non-DT boot.  It can be removed
22 * when these legacy non-DT support is converted or dropped.
23 */
24void mxc_timer_init(unsigned long pbase, int irq, enum imx_gpt_type type);
25
26#endif  /* __SOC_IMX_TIMER_H__ */