Index: uspace/lib/drv/generic/logbuf.c
===================================================================
--- uspace/lib/drv/generic/logbuf.c	(revision 81685dd947bc65a804dc5adf2cf68f40b4aaa7fc)
+++ uspace/lib/drv/generic/logbuf.c	(revision b1eb7efc7ead4b1bcc86297cb1d3fdc368f57a11)
@@ -31,5 +31,4 @@
  */
 
-#include <libarch/common.h>
 #include <stdio.h>
 #include <stddef.h>
Index: uspace/lib/drv/include/ddf/interrupt.h
===================================================================
--- uspace/lib/drv/include/ddf/interrupt.h	(revision 81685dd947bc65a804dc5adf2cf68f40b4aaa7fc)
+++ uspace/lib/drv/include/ddf/interrupt.h	(revision b1eb7efc7ead4b1bcc86297cb1d3fdc368f57a11)
@@ -36,5 +36,4 @@
 #define DDF_INTERRUPT_H_
 
-#include <libarch/common.h>
 #include <types/common.h>
 #include <abi/ddi/irq.h>