1/* SPDX-License-Identifier: GPL-2.0+ */
2
3#ifndef XIL_IO_H /* prevent circular inclusions */
4#define XIL_IO_H
5
6/* FIXME remove this when vivado is fixed */
7#include <asm/io.h>
8#include <linux/delay.h>
9
10#define xil_printf(...)
11
12static void Xil_Out32(unsigned long addr, unsigned long val)
13{
14	writel(val, addr);
15}
16
17static int Xil_In32(unsigned long addr)
18{
19	return readl(addr);
20}
21
22static void __maybe_unused usleep(u32 sleep)
23{
24	udelay(sleep);
25}
26
27#endif /* XIL_IO_H */
28