2 * SPDX-License-Identifier: GPL-2.0+
5 #ifndef XIL_IO_H /* prevent circular inclusions */
8 /* FIXME remove this when vivado is fixed */
12 #define xil_printf(...)
14 void Xil_ICacheEnable(void)
17 void Xil_DCacheEnable(void)
20 void Xil_ICacheDisable(void)
23 void Xil_DCacheDisable(void)
26 void Xil_Out32(unsigned long addr, unsigned long val)
31 int Xil_In32(unsigned long addr)
36 void mask_delay(u32 delay);
37 void usleep(u32 sleep)
41 int mask_poll(u32 add, u32 mask);
42 int mask_pollOnValue(u32 add, u32 mask, u32 value);