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