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 <common.h> 9#include <linux/delay.h> 10 11#define xil_printf(...) 12 13static void Xil_Out32(unsigned long addr, unsigned long val) 14{ 15 writel(val, addr); 16} 17 18static int Xil_In32(unsigned long addr) 19{ 20 return readl(addr); 21} 22 23static void __maybe_unused usleep(u32 sleep) 24{ 25 udelay(sleep); 26} 27 28#endif /* XIL_IO_H */ 29