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