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