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_ */

 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_ */