SPDX: Convert all of our single license tags to Linux Kernel style

[thirdparty/u-boot.git] / board / xilinx / zynqmp / xil_io.h

diff --git a/board/xilinx/zynqmp/xil_io.h b/board/xilinx/zynqmp/xil_io.h
index 57ca4adf11bf42adfbf6911f32de36d1045ec9e2..c476c902ebcbd4b62d5fb682fb4da2ee0f681b94 100644 (file)
--- a/board/xilinx/zynqmp/xil_io.h
+++ b/board/xilinx/zynqmp/xil_io.h
@@ -1,27 +1,14 @@
-/*
- * SPDX-License-Identifier:    GPL-2.0+
- */
+/* 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);
@@ -32,4 +19,9 @@ int Xil_In32(unsigned long addr)
        return readl(addr);
 }
 
+void usleep(u32 sleep)
+{
+       udelay(sleep);
+}
+
 #endif /* XIL_IO_H */