Index: uspace/drv/char/atkbd/main.c
===================================================================
--- uspace/drv/char/atkbd/main.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/char/atkbd/main.c	(revision 04ba11055f3c5e7ffc8b2c766192632e2731b66f)
@@ -34,5 +34,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>
Index: uspace/drv/char/i8042/main.c
===================================================================
--- uspace/drv/char/i8042/main.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/char/i8042/main.c	(revision 04ba11055f3c5e7ffc8b2c766192632e2731b66f)
@@ -35,5 +35,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <libarch/config.h>
 #include <ddf/driver.h>
Index: uspace/drv/char/ps2mouse/main.c
===================================================================
--- uspace/drv/char/ps2mouse/main.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/char/ps2mouse/main.c	(revision 04ba11055f3c5e7ffc8b2c766192632e2731b66f)
@@ -33,5 +33,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>
Index: uspace/drv/char/xtkbd/main.c
===================================================================
--- uspace/drv/char/xtkbd/main.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/char/xtkbd/main.c	(revision 04ba11055f3c5e7ffc8b2c766192632e2731b66f)
@@ -34,5 +34,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>