2 * SPDX-License-Identifier: GPL-2.0+
5 #ifndef XIL_IO_H /* prevent circular inclusions */
8 /* FIXME remove this when vivado is fixed */
11 #define xil_printf(...)
13 void Xil_ICacheEnable(void)
16 void Xil_DCacheEnable(void)
19 void Xil_ICacheDisable(void)
22 void Xil_DCacheDisable(void)
25 void Xil_Out32(unsigned long addr, unsigned long val)
30 int Xil_In32(unsigned long addr)