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