Index: kernel/arch/ia64/include/drivers/i8042.h
===================================================================
--- kernel/arch/ia64/include/drivers/i8042.h	(revision 6da1013f00030b5dcedc878f40a0e6242a8d3282)
+++ kernel/arch/ia64/include/drivers/i8042.h	(revision fa094491c49be2130cd1f5bbad081181cbad82b1)
@@ -48,20 +48,20 @@
 static inline void i8042_data_write(uint8_t data)
 {
-	outb(i8042_DATA, data);
+	pio_write_8(i8042_DATA, data);
 }
 
 static inline uint8_t i8042_data_read(void)
 {
-	return inb(i8042_DATA);
+	return pio_read_8(i8042_DATA);
 }
 
 static inline uint8_t i8042_status_read(void)
 {
-	return inb(i8042_STATUS);
+	return pio_read_8(i8042_STATUS);
 }
 
 static inline void i8042_command_write(uint8_t command)
 {
-	outb(i8042_STATUS, command);
+	pio_write_8(i8042_STATUS, command);
 }