Signed-off-by: Gilles Chanteperdrix <[email protected]>
---
kernel/time/clocksource.c | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/kernel/time/clocksource.c b/kernel/time/clocksource.c
index 84a290f..172d3c8 100644
--- a/kernel/time/clocksource.c
+++ b/kernel/time/clocksource.c
@@ -273,7 +273,9 @@ static void clocksource_watchdog(unsigned long data)
retry:
#endif
local_irq_disable();
+#ifdef CONFIG_IPIPE
wdref = watchdog->read(watchdog);
+#endif
csnow = cs->read(cs);
wdnow = watchdog->read(watchdog);
local_irq_enable();
--
1.7.2.5
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
