1 /*
2  * Copyright (c) 2020-2023 Arm Limited. All rights reserved.
3  * SPDX-License-Identifier: BSD-3-Clause
4  */
5 
6 #ifndef __MICROSECOND_TIMER_H__
7 #define __MICROSECOND_TIMER_H__
8 
9 #include <stdint.h>
10 
11 #ifdef __cplusplus
12 extern "C" {
13 #endif
14 
15 /*!
16  * @brief Init the microsecond timer.
17  */
18 void microsecond_timer_init(void);
19 
20 /*!
21  * @brief Delay for a number of milliseconds.
22  */
23 void sleep_ms(uint32_t delay_ms);
24 
25 #ifdef __cplusplus
26 }
27 #endif
28 
29 #endif /* __MICROSECOND_TIMER_H__ */
30