1 /*
2  * Support for Intel Camera Imaging ISP subsystem.
3  * Copyright (c) 2015, Intel Corporation.
4  *
5  * This program is free software; you can redistribute it and/or modify it
6  * under the terms and conditions of the GNU General Public License,
7  * version 2, as published by the Free Software Foundation.
8  *
9  * This program is distributed in the hope it will be useful, but WITHOUT
10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
12  * more details.
13  */
14 
15 #ifndef __GP_TIMER_PUBLIC_H_INCLUDED__
16 #define __GP_TIMER_PUBLIC_H_INCLUDED__
17 
18 #include "system_types.h"
19 
20 /*! initialize mentioned timer
21 param ID		timer_id
22 */
23 extern void
24 gp_timer_init(gp_timer_ID_t ID);
25 
26 /*! read timer value for (platform selected)selected timer.
27 param ID		timer_id
28  \return uint32_t	32 bit timer value
29 */
30 extern uint32_t
31 gp_timer_read(gp_timer_ID_t ID);
32 
33 #endif /* __GP_TIMER_PUBLIC_H_INCLUDED__ */
34