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