Index: uspace/srv/hw/irc/i8259/i8259.c
===================================================================
--- uspace/srv/hw/irc/i8259/i8259.c	(revision f5d51de74cf5ceb308bf3defa9fe55855681e4ec)
+++ uspace/srv/hw/irc/i8259/i8259.c	(revision b1120555cfd5ff9424fc232e7288d08996b579c7)
@@ -50,5 +50,5 @@
 #include <async.h>
 #include <stdio.h>
-#include <ipc/devmap.h>
+#include <ipc/loc.h>
 
 #define NAME  "i8259"
Index: uspace/srv/hw/irc/obio/obio.c
===================================================================
--- uspace/srv/hw/irc/obio/obio.c	(revision f5d51de74cf5ceb308bf3defa9fe55855681e4ec)
+++ uspace/srv/hw/irc/obio/obio.c	(revision b1120555cfd5ff9424fc232e7288d08996b579c7)
@@ -55,5 +55,5 @@
 #include <async.h>
 #include <stdio.h>
-#include <ipc/devmap.h>
+#include <ipc/loc.h>
 
 #define NAME "obio"