/* * 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__ */