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