| /* SPDX-License-Identifier: GPL-2.0 */ | |
| /* | |
| * Definitions for IDT RC323434 CPU. | |
| */ | |
| #ifndef _ASM_RC32434_RC32434_H_ | |
| #define _ASM_RC32434_RC32434_H_ | |
| #include <linux/delay.h> | |
| #include <linux/io.h> | |
| #define IDT_CLOCK_MULT 2 | |
| /* cpu pipeline flush */ | |
| static inline void rc32434_sync(void) | |
| { | |
| __asm__ volatile ("sync"); | |
| } | |
| #endif /* _ASM_RC32434_RC32434_H_ */ |