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