162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Copyright (C) 2012 ARM Ltd.
462306a36Sopenharmony_ci */
562306a36Sopenharmony_ci#ifndef __ASM_TIMEX_H
662306a36Sopenharmony_ci#define __ASM_TIMEX_H
762306a36Sopenharmony_ci
862306a36Sopenharmony_ci#include <asm/arch_timer.h>
962306a36Sopenharmony_ci
1062306a36Sopenharmony_ci/*
1162306a36Sopenharmony_ci * Use the current timer as a cycle counter since this is what we use for
1262306a36Sopenharmony_ci * the delay loop.
1362306a36Sopenharmony_ci */
1462306a36Sopenharmony_ci#define get_cycles()	arch_timer_read_counter()
1562306a36Sopenharmony_ci
1662306a36Sopenharmony_ci#include <asm-generic/timex.h>
1762306a36Sopenharmony_ci
1862306a36Sopenharmony_ci#endif
19