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_Out32(unsigned long addr, unsigned long val)
19 int Xil_In32(unsigned long addr)
24 void usleep(u32 sleep)