1/* SPDX-License-Identifier: GPL-2.0-or-later */
2/*
3 * arch/powerpc/include/asm/mpic_timer.h
4 *
5 * Header file for Mpic Global Timer
6 *
7 * Copyright 2013 Freescale Semiconductor, Inc.
8 *
9 * Author: Wang Dongsheng <Dongsheng.Wang@freescale.com>
10 *	   Li Yang <leoli@freescale.com>
11 */
12
13#ifndef __MPIC_TIMER__
14#define __MPIC_TIMER__
15
16#include <linux/interrupt.h>
17#include <linux/time.h>
18
19struct mpic_timer {
20	void			*dev;
21	struct cascade_priv	*cascade_handle;
22	unsigned int		num;
23	unsigned int		irq;
24};
25
26#ifdef CONFIG_MPIC_TIMER
27struct mpic_timer *mpic_request_timer(irq_handler_t fn,  void *dev,
28		time64_t time);
29void mpic_start_timer(struct mpic_timer *handle);
30void mpic_stop_timer(struct mpic_timer *handle);
31void mpic_get_remain_time(struct mpic_timer *handle, time64_t *time);
32void mpic_free_timer(struct mpic_timer *handle);
33#else
34struct mpic_timer *mpic_request_timer(irq_handler_t fn,  void *dev,
35		time64_t time) { return NULL; }
36void mpic_start_timer(struct mpic_timer *handle) { }
37void mpic_stop_timer(struct mpic_timer *handle) { }
38void mpic_get_remain_time(struct mpic_timer *handle, time64_t *time) { }
39void mpic_free_timer(struct mpic_timer *handle) { }
40#endif
41
42#endif
43