1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Support for Intel Camera Imaging ISP subsystem.
4  * Copyright (c) 2015, Intel Corporation.
5  */
6 
7 #ifndef __GP_TIMER_PUBLIC_H_INCLUDED__
8 #define __GP_TIMER_PUBLIC_H_INCLUDED__
9 
10 #include "system_local.h"
11 
12 /*! initialize mentioned timer
13 param ID		timer_id
14 */
15 extern void
16 gp_timer_init(gp_timer_ID_t ID);
17 
18 /*! read timer value for (platform selected)selected timer.
19 param ID		timer_id
20  \return uint32_t	32 bit timer value
21 */
22 extern uint32_t
23 gp_timer_read(gp_timer_ID_t ID);
24 
25 #endif /* __GP_TIMER_PUBLIC_H_INCLUDED__ */
26