| /* | |
| * Copyright (c) 2021-2022, Arm Limited. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| * | |
| */ | |
| #ifndef __PROF_HAL_H__ | |
| #define __PROF_HAL_H__ | |
| #include <stdint.h> | |
| /* Platform must implement these functions */ | |
| #ifdef __cplusplus | |
| extern "C" { | |
| #endif | |
| /* Initialize the timer/cycle counter hardware for profiling */ | |
| bool prof_hal_init(void); | |
| /* Interface for retrieving the timer/cycle count */ | |
| uint32_t prof_hal_get_count(void); | |
| #ifdef __cplusplus | |
| } | |
| #endif | |
| #endif /* __PROF_HAL_H__ */ |