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_ICacheEnable(void) 15 {} 16 17 void Xil_DCacheEnable(void) 18 {} 19 20 void Xil_ICacheDisable(void) 21 {} 22 23 void Xil_DCacheDisable(void) 24 {} 25 26 void Xil_Out32(unsigned long addr, unsigned long val) 27 { 28 writel(val, addr); 29 } 30 31 int Xil_In32(unsigned long addr) 32 { 33 return readl(addr); 34 } 35 36 void usleep(u32 sleep) 37 { 38 udelay(sleep); 39 } 40 41 #endif /* XIL_IO_H */ 42