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