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