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 11 #define xil_printf(...) 12 13 void Xil_ICacheEnable(void) 14 {} 15 16 void Xil_DCacheEnable(void) 17 {} 18 19 void Xil_ICacheDisable(void) 20 {} 21 22 void Xil_DCacheDisable(void) 23 {} 24 25 void Xil_Out32(unsigned long addr, unsigned long val) 26 { 27 writel(val, addr); 28 } 29 30 int Xil_In32(unsigned long addr) 31 { 32 return readl(addr); 33 } 34 35 #endif /* XIL_IO_H */ 36