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 <common.h>
9 #include <linux/delay.h>
10 
11 #define xil_printf(...)
12 
Xil_Out32(unsigned long addr,unsigned long val)13 static void Xil_Out32(unsigned long addr, unsigned long val)
14 {
15 	writel(val, addr);
16 }
17 
Xil_In32(unsigned long addr)18 static int Xil_In32(unsigned long addr)
19 {
20 	return readl(addr);
21 }
22 
usleep(u32 sleep)23 static void __maybe_unused usleep(u32 sleep)
24 {
25 	udelay(sleep);
26 }
27 
28 #endif /* XIL_IO_H */
29