| /* |
| * SPDX-License-Identifier: GPL-2.0+ |
| */ |
| |
| #ifndef XIL_IO_H /* prevent circular inclusions */ |
| #define XIL_IO_H |
| |
| /* FIXME remove this when vivado is fixed */ |
| #include <asm/io.h> |
| #include <common.h> |
| |
| #define xil_printf(...) |
| |
| void Xil_ICacheEnable(void) |
| {} |
| |
| void Xil_DCacheEnable(void) |
| {} |
| |
| void Xil_ICacheDisable(void) |
| {} |
| |
| void Xil_DCacheDisable(void) |
| {} |
| |
| void Xil_Out32(unsigned long addr, unsigned long val) |
| { |
| writel(val, addr); |
| } |
| |
| int Xil_In32(unsigned long addr) |
| { |
| return readl(addr); |
| } |
| |
| void mask_delay(u32 delay); |
| void usleep(u32 sleep) |
| { |
| udelay(sleep); |
| } |
| int mask_poll(u32 add, u32 mask); |
| int mask_pollOnValue(u32 add, u32 mask, u32 value); |
| |
| #endif /* XIL_IO_H */ |