1 /*
2  * Copyright (c) 2024 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/drivers/timer/system_timer.h>
8 #include <zephyr/llext/symbol.h>
9 #include <limits.h>
10 
11 #ifdef CONFIG_TIMER_HAS_64BIT_CYCLE_COUNTER
12 EXPORT_SYMBOL(sys_clock_cycle_get_64);
13 #endif
14