board: stm32mp1: fix handling of DT OP-TEE reserved memory nodes

[oweals/u-boot.git] / lib / time.c

diff --git a/lib/time.c b/lib/time.c
index 1395f28715ca14d0f67538ede875ad53149166d1..65db0f6cda29367c6f4b2eee1666a18a3d578100 100644 (file)
--- a/lib/time.c
+++ b/lib/time.c
@@ -8,11 +8,13 @@
 #include <bootstage.h>
 #include <dm.h>
 #include <errno.h>
+#include <init.h>
 #include <time.h>
 #include <timer.h>
 #include <watchdog.h>
 #include <div64.h>
 #include <asm/io.h>
+#include <linux/delay.h>
 
 #ifndef CONFIG_WD_PERIOD
 # define CONFIG_WD_PERIOD      (10 * 1000 * 1000)      /* 10 seconds default */
@@ -182,7 +184,7 @@ void udelay(unsigned long usec)
        do {
                WATCHDOG_RESET();
                kv = usec > CONFIG_WD_PERIOD ? CONFIG_WD_PERIOD : usec;
-               __udelay (kv);
+               __udelay(kv);
                usec -= kv;
        } while(usec);
 }