xref: /optee_os/core/include/drivers/stm32_stgen.h (revision b0b019b8131487e74aa4ab14315b8be573a1facf)
1*b0b019b8SGatien Chevallier /* SPDX-License-Identifier: BSD-2-Clause */
2*b0b019b8SGatien Chevallier /*
3*b0b019b8SGatien Chevallier  * Copyright (C) 2022-2024, STMicroelectronics
4*b0b019b8SGatien Chevallier  */
5*b0b019b8SGatien Chevallier 
6*b0b019b8SGatien Chevallier #ifndef __DRIVERS_STM32_STGEN_H
7*b0b019b8SGatien Chevallier #define __DRIVERS_STM32_STGEN_H
8*b0b019b8SGatien Chevallier 
9*b0b019b8SGatien Chevallier #include <stdint.h>
10*b0b019b8SGatien Chevallier 
11*b0b019b8SGatien Chevallier /* Return the STGEN counter value */
12*b0b019b8SGatien Chevallier uint64_t stm32_stgen_get_counter_value(void);
13*b0b019b8SGatien Chevallier 
14*b0b019b8SGatien Chevallier #endif /* __DRIVERS_STM32_STGEN_H */
15