1/* SPDX-License-Identifier: GPL-2.0+ */ 2 3#ifndef XIL_IO_H /* prevent circular inclusions */ 4#define XIL_IO_H 5 6/* FIXME remove this when vivado is fixed */ 7#include <asm/io.h> 8#include <linux/delay.h> 9 10#define xil_printf(...) 11 12static void Xil_Out32(unsigned long addr, unsigned long val) 13{ 14 writel(val, addr); 15} 16 17static int Xil_In32(unsigned long addr) 18{ 19 return readl(addr); 20} 21 22static void __maybe_unused usleep(u32 sleep) 23{ 24 udelay(sleep); 25} 26 27#endif /* XIL_IO_H */ 28