1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * Copyright (C) 2012 ARM Ltd.
4  */
5 #ifndef __ASM_TIMEX_H
6 #define __ASM_TIMEX_H
7 
8 #include <asm/arch_timer.h>
9 
10 /*
11  * Use the current timer as a cycle counter since this is what we use for
12  * the delay loop.
13  */
14 #define get_cycles()	arch_timer_read_counter()
15 
16 #include <asm-generic/timex.h>
17 
18 #endif
19