1 /* SPDX-License-Identifier: GPL-2.0+ */
3 #ifndef XIL_IO_H /* prevent circular inclusions */
6 /* FIXME remove this when vivado is fixed */
10 #define xil_printf(...)
12 void Xil_Out32(unsigned long addr, unsigned long val)
17 int Xil_In32(unsigned long addr)
22 void usleep(u32 sleep)