1/* SPDX-License-Identifier: GPL-2.0-only */
 2/*
 3 * Copyright 2015 Linaro Ltd.
 4 */
 5
 6#ifndef __SOC_IMX_TIMER_H__
 7#define __SOC_IMX_TIMER_H__
 8
 9enum imx_gpt_type {
10	GPT_TYPE_IMX1,		/* i.MX1 */
11	GPT_TYPE_IMX21,		/* i.MX21/27 */
12	GPT_TYPE_IMX31,		/* i.MX31/35/25/37/51/6Q */
13	GPT_TYPE_IMX6DL,	/* i.MX6DL/SX/SL */
14};
15
16/*
17 * This is a stop-gap solution for clock drivers like imx1/imx21 which call
18 * mxc_timer_init() to initialize timer for non-DT boot.  It can be removed
19 * when these legacy non-DT support is converted or dropped.
20 */
21void mxc_timer_init(unsigned long pbase, int irq, enum imx_gpt_type type);
22
23#endif  /* __SOC_IMX_TIMER_H__ */