1 /*
2  * Copyright (c) 2020, Arm Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  *
6  */
7 
8 #ifndef __OS_WRAPPER_TICK_H__
9 #define __OS_WRAPPER_TICK_H__
10 
11 #ifdef __cplusplus
12 extern "C" {
13 #endif
14 
15 #include "common.h"
16 
17 /**
18  * \brief Return RTOS current tick count
19  *
20  * \return The current tick count
21  */
22 uint32_t os_wrapper_get_tick(void);
23 
24 #ifdef __cplusplus
25 }
26 #endif
27 
28 #endif /* __OS_WRAPPER_TICK_H__ */
29