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