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