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