1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2012 ARM Ltd.
8 #include <asm/arch_timer.h>
11 * Use the current timer as a cycle counter since this is what we use for
14 #define get_cycles() arch_timer_read_counter()
16 #include <asm-generic/timex.h>