blob: c8955172520203c38adf452de1ee91e459eb1efa [file] [log] [blame]
Yann Gautier9aea69e2018-07-24 17:13:36 +02001/*
2 * Copyright (c) 2018, STMicroelectronics - All Rights Reserved
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +00007#ifndef STM32MP1_CLK_H
8#define STM32MP1_CLK_H
Yann Gautier9aea69e2018-07-24 17:13:36 +02009
10#include <arch_helpers.h>
11#include <stdbool.h>
12
13int stm32mp1_clk_probe(void);
14int stm32mp1_clk_init(void);
15bool stm32mp1_clk_is_enabled(unsigned long id);
16int stm32mp1_clk_enable(unsigned long id);
17int stm32mp1_clk_disable(unsigned long id);
18unsigned long stm32mp1_clk_get_rate(unsigned long id);
19void stm32mp1_stgen_increment(unsigned long long offset_in_ms);
20
21static inline uint32_t get_timer(uint32_t base)
22{
23 if (base == 0U) {
24 return (uint32_t)(~read_cntpct_el0());
25 }
26
27 return base - (uint32_t)(~read_cntpct_el0());
28}
29
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +000030#endif /* STM32MP1_CLK_H */