162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Copyright (C) 2006 Atmark Techno, Inc.
462306a36Sopenharmony_ci */
562306a36Sopenharmony_ci
662306a36Sopenharmony_ci#ifndef _ASM_MICROBLAZE_TIMEX_H
762306a36Sopenharmony_ci#define _ASM_MICROBLAZE_TIMEX_H
862306a36Sopenharmony_ci
962306a36Sopenharmony_ci#include <asm-generic/timex.h>
1062306a36Sopenharmony_ci
1162306a36Sopenharmony_ci#define CLOCK_TICK_RATE 1000 /* Timer input freq. */
1262306a36Sopenharmony_ci
1362306a36Sopenharmony_ci#endif /* _ASM_TIMEX_H */
14