1 /* SPDX-License-Identifier: GPL-2.0+ */
3 #ifndef XIL_IO_H /* prevent circular inclusions */
6 /* FIXME remove this when vivado is fixed */
9 #include <linux/delay.h>
11 #define xil_printf(...)
13 static void Xil_Out32(unsigned long addr, unsigned long val)
18 static int Xil_In32(unsigned long addr)
23 static void __maybe_unused usleep(u32 sleep)