Index: uspace/srv/hw/char/i8042/i8042.h
===================================================================
--- uspace/srv/hw/char/i8042/i8042.h	(revision 15f3c3fbb3cd87db466db2f9b1379fe5b0794299)
+++ uspace/srv/hw/char/i8042/i8042.h	(revision b0f00a9ed1b00bda8a286a4c4bbe625a7f410bc6)
@@ -39,6 +39,7 @@
 #define i8042_H_
 
+#include <sys/types.h>
 #include <libarch/ddi.h>
-#include <libarch/types.h>
+#include <async.h>
 
 /** i8042 HW I/O interface */
@@ -53,5 +54,5 @@
 typedef struct {
 	service_id_t service_id;
-	int client_phone;
+	async_sess_t *client_sess;
 } i8042_port_t;
 
@@ -60,3 +61,3 @@
 /**
  * @}
- */ 
+ */