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 22param ID timer_id 23*/ 24extern void 25gp_timer_init(gp_timer_ID_t ID); 26 27/*! read timer value for (platform selected)selected timer. 28param ID timer_id 29 \return uint32_t 32 bit timer value 30*/ 31extern uint32_t 32gp_timer_read(gp_timer_ID_t ID); 33 34#endif /* __GP_TIMER_PUBLIC_H_INCLUDED__ */ 35