18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */ 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * Copyright (C) 2012 ARM Ltd. 48c2ecf20Sopenharmony_ci */ 58c2ecf20Sopenharmony_ci#ifndef __ASM_TIMEX_H 68c2ecf20Sopenharmony_ci#define __ASM_TIMEX_H 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci#include <asm/arch_timer.h> 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci/* 118c2ecf20Sopenharmony_ci * Use the current timer as a cycle counter since this is what we use for 128c2ecf20Sopenharmony_ci * the delay loop. 138c2ecf20Sopenharmony_ci */ 148c2ecf20Sopenharmony_ci#define get_cycles() arch_timer_read_counter() 158c2ecf20Sopenharmony_ci 168c2ecf20Sopenharmony_ci#include <asm-generic/timex.h> 178c2ecf20Sopenharmony_ci 188c2ecf20Sopenharmony_ci#endif 19