Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 91825d906871fb7aacdd0e8161dca09a9de0ef6e)
+++ kernel/arch/ia64/src/ia64.c	(revision 013c4d666a79f5b3ee840b780dc07c7530965584)
@@ -66,5 +66,4 @@
 /* NS16550 as a COM 1 */
 #define NS16550_IRQ	(4 + LEGACY_INTERRUPT_BASE)
-#define NS16550_PORT	0x3f8
 
 bootinfo_t *bootinfo;
@@ -165,5 +164,6 @@
 
 #ifdef CONFIG_NS16550
-	ns16550_init(kbd, NS16550_PORT, NS16550_IRQ, NULL, NULL);
+	(void) ns16550_init((ns16550_t *)NS16550_BASE, kbd, NS16550_IRQ, NULL,
+	     NULL);
 #else
 	devno_t mouse = device_assign_devno();
@@ -250,5 +250,5 @@
 void arch_reboot(void)
 {
-	pio_write_8(0x64, 0xfe);
+	pio_write_8((ioport8_t *)0x64, 0xfe);
 	while (1)
 		;
Index: kernel/arch/ia64/src/smp/smp.c
===================================================================
--- kernel/arch/ia64/src/smp/smp.c	(revision 91825d906871fb7aacdd0e8161dca09a9de0ef6e)
+++ kernel/arch/ia64/src/smp/smp.c	(revision 013c4d666a79f5b3ee840b780dc07c7530965584)
@@ -52,5 +52,4 @@
 #include <ddi/irq.h>
 #include <ddi/device.h>
-#include <arch/drivers/ega.h>
 #include <arch/bootinfo.h>
 #include <genarch/kbd/i8042.h>