Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision 3e828ea40985ce126affd5d7faa6ba679802b4db)
@@ -38,7 +38,4 @@
 #include <console/console.h>
 #include <ddi/irq.h>
-#include <mm/page.h>
-#include <arch/mm/page.h>
-#include <mm/km.h>
 #include <typedefs.h>
 #include <align.h>
@@ -88,6 +85,4 @@
 	}
 
-	size_t size = ((ofw_ebus_reg_t *) prop->value)->size;
-
 	uintptr_t pa = 0; // Prevent -Werror=maybe-uninitialized
 	if (!ofw_ebus_apply_ranges(node->parent,
@@ -109,9 +104,6 @@
 	}
 
-	ioport8_t *ns16550 = (ioport8_t *) km_map(pa, size,
-	    KM_NATURAL_ALIGNMENT, PAGE_WRITE | PAGE_NOT_CACHEABLE);
-
-	ns16550_instance_t *ns16550_instance = ns16550_init(ns16550, 0, inr, cir,
-	    cir_arg, NULL);
+	ns16550_instance_t *ns16550_instance = ns16550_init((ioport8_t *) pa, 0,
+	    inr, cir, cir_arg, NULL);
 	if (ns16550_instance) {
 		kbrd_instance_t *kbrd_instance = kbrd_init();