1/* SPDX-License-Identifier: GPL-2.0 */ 2/* 3 * Copyright (C) 2006 Atmark Techno, Inc. 4 */ 5 6#ifndef _ASM_MICROBLAZE_TIMEX_H 7#define _ASM_MICROBLAZE_TIMEX_H 8 9#include <asm-generic/timex.h> 10 11#define CLOCK_TICK_RATE 1000 /* Timer input freq. */ 12 13#endif /* _ASM_TIMEX_H */ 14