Index: uspace/drv/time/cmos-rtc/cmos-rtc.c
===================================================================
--- uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision a582dffe11ea61eb703e09e2c57e388020251e89)
+++ uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision c73910287a21883954d2c3d3c7fcbc1668ecc81f)
@@ -40,5 +40,4 @@
 #include <as.h>
 #include <sysinfo.h>
-#include <libarch/ddi.h>
 #include <libarch/barrier.h>
 #include <stdio.h>