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 */
rc32434_sync(void)15 static inline void rc32434_sync(void)
16 {
17 	__asm__ volatile ("sync");
18 }
19 
20 #endif	/* _ASM_RC32434_RC32434_H_ */
21