1 // © 2021 Qualcomm Innovation Center, Inc. All rights reserved.
2 //
3 // SPDX-License-Identifier: BSD-3-Clause
4 
5 ticks_t
6 platform_timer_get_timeout(void);
7 
8 void
9 platform_timer_cancel_timeout(void) REQUIRE_PREEMPT_DISABLED;
10 
11 // Must be called with preempt_disabled
12 void
13 platform_timer_set_timeout(ticks_t timeout) REQUIRE_PREEMPT_DISABLED;
14 
15 uint32_t
16 platform_timer_get_frequency(void);
17 
18 ticks_t
19 platform_timer_get_current_ticks(void);
20 
21 ticks_t
22 platform_timer_convert_ns_to_ticks(nanoseconds_t ns);
23 
24 nanoseconds_t
25 platform_timer_convert_ticks_to_ns(ticks_t ticks);
26 
27 ticks_t
28 platform_timer_convert_ms_to_ticks(milliseconds_t ms);
29 
30 milliseconds_t
31 platform_timer_convert_ticks_to_ms(ticks_t ticks);
32 
33 void
34 platform_timer_ndelay(nanoseconds_t duration);
35