Index: kernel/arch/ia64/include/asm.h
===================================================================
--- kernel/arch/ia64/include/asm.h	(revision e7f2ad68c3081b85a41032d60746f0b30111d468)
+++ kernel/arch/ia64/include/asm.h	(revision 76dd25b7f1290f21230e4d3c41919e84f05bb9d8)
@@ -42,5 +42,5 @@
 #define IA64_IOSPACE_ADDRESS 0xE001000000000000ULL
 
-static inline void outb(ioport_t port, uint8_t v)
+static inline void pio_write_8(ioport_t port, uint8_t v)
 {
 	*((uint8_t *)(IA64_IOSPACE_ADDRESS +
@@ -50,5 +50,5 @@
 }
 
-static inline void outw(ioport_t port, uint16_t v)
+static inline void pio_write_16(ioport_t port, uint16_t v)
 {
 	*((uint16_t *)(IA64_IOSPACE_ADDRESS +
@@ -58,5 +58,5 @@
 }
 
-static inline void outl(ioport_t port, uint32_t v)
+static inline void pio_write_32(ioport_t port, uint32_t v)
 {
 	*((uint32_t *)(IA64_IOSPACE_ADDRESS +
@@ -66,5 +66,5 @@
 }
 
-static inline uint8_t inb(ioport_t port)
+static inline uint8_t pio_read_8(ioport_t port)
 {
 	asm volatile ("mf\n" ::: "memory");
@@ -74,5 +74,5 @@
 }
 
-static inline uint16_t inw(ioport_t port)
+static inline uint16_t pio_read_16(ioport_t port)
 {
 	asm volatile ("mf\n" ::: "memory");
@@ -82,5 +82,5 @@
 }
 
-static inline uint32_t inl(ioport_t port)
+static inline uint32_t pio_read_32(ioport_t port)
 {
 	asm volatile ("mf\n" ::: "memory");
Index: kernel/arch/ia64/include/drivers/i8042.h
===================================================================
--- kernel/arch/ia64/include/drivers/i8042.h	(revision e7f2ad68c3081b85a41032d60746f0b30111d468)
+++ kernel/arch/ia64/include/drivers/i8042.h	(revision 76dd25b7f1290f21230e4d3c41919e84f05bb9d8)
@@ -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);
 }
 
Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision e7f2ad68c3081b85a41032d60746f0b30111d468)
+++ kernel/arch/ia64/src/ia64.c	(revision 76dd25b7f1290f21230e4d3c41919e84f05bb9d8)
@@ -250,5 +250,5 @@
 void arch_reboot(void)
 {
-	outb(0x64, 0xfe);
+	pio_write_8(0x64, 0xfe);
 	while (1)
 		;