1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * Support for Intel Camera Imaging ISP subsystem. 4 * Copyright (c) 2010-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 #include <type_support.h> /*uint32_t */ 17 #include "gp_timer.h" /*system_local.h, 18 gp_timer_public.h*/ 19 20 #ifndef __INLINE_GP_TIMER__ 21 #include "gp_timer_private.h" /*device_access.h*/ 22 #endif /* __INLINE_GP_TIMER__ */ 23 #include "system_local.h" 24 25 /* FIXME: not sure if reg_load(), reg_store() should be API. 26 */ 27 static uint32_t 28 gp_timer_reg_load(uint32_t reg); 29 30 static void 31 gp_timer_reg_store(u32 reg, uint32_t value); 32 33 static uint32_t 34 gp_timer_reg_load(uint32_t reg) 35 { 36 return ia_css_device_load_uint32( 37 GP_TIMER_BASE + 38 (reg * sizeof(uint32_t))); 39 } 40 41 static void 42 gp_timer_reg_store(u32 reg, uint32_t value) 43 { 44 ia_css_device_store_uint32((GP_TIMER_BASE + 45 (reg * sizeof(uint32_t))), 46 value); 47 } 48 49 void gp_timer_init(gp_timer_ID_t ID) 50 { 51 /* set_overall_enable*/ 52 gp_timer_reg_store(_REG_GP_TIMER_OVERALL_ENABLE, 1); 53 54 /*set enable*/ 55 gp_timer_reg_store(_REG_GP_TIMER_ENABLE_ID(ID), 1); 56 57 /* set signal select */ 58 gp_timer_reg_store(_REG_GP_TIMER_SIGNAL_SELECT_ID(ID), GP_TIMER_SIGNAL_SELECT); 59 60 /*set count type */ 61 gp_timer_reg_store(_REG_GP_TIMER_COUNT_TYPE_ID(ID), GP_TIMER_COUNT_TYPE_LOW); 62 63 /*reset gp timer */ 64 gp_timer_reg_store(_REG_GP_TIMER_RESET_REG, 0xFF); 65 } 66 67 uint32_t 68 gp_timer_read(gp_timer_ID_t ID) 69 { 70 return gp_timer_reg_load(_REG_GP_TIMER_VALUE_ID(ID)); 71 } 72