1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Definitions for IDT RC323434 CPU.
6 #ifndef _ASM_RC32434_RC32434_H_
7 #define _ASM_RC32434_RC32434_H_
9 #include <linux/delay.h>
12 #define IDT_CLOCK_MULT 2
14 /* cpu pipeline flush */
15 static inline void rc32434_sync(void)
17 __asm__
volatile ("sync");
20 #endif /* _ASM_RC32434_RC32434_H_ */