Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
+++ kernel/arch/ia32/src/smp/smp.c	(revision a3c6a858cfa093197f83dfc3dbb82eb7f88d445b)
@@ -76,7 +76,7 @@
 	if (config.cpu_count > 1) {
 		l_apic = (uint32_t *) km_map((uintptr_t) l_apic, PAGE_SIZE,
-		    PAGE_WRITE | PAGE_NOT_CACHEABLE);
+		    PAGE_SIZE, PAGE_WRITE | PAGE_NOT_CACHEABLE);
 		io_apic = (uint32_t *) km_map((uintptr_t) io_apic, PAGE_SIZE,
-		    PAGE_WRITE | PAGE_NOT_CACHEABLE);
+		    PAGE_SIZE, PAGE_WRITE | PAGE_NOT_CACHEABLE);
 	}
 }
Index: kernel/arch/ia32/src/vreg.c
===================================================================
--- kernel/arch/ia32/src/vreg.c	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
+++ kernel/arch/ia32/src/vreg.c	(revision a3c6a858cfa093197f83dfc3dbb82eb7f88d445b)
@@ -67,5 +67,5 @@
 		panic("Cannot allocate VREG frame.");
 
-	page = (uint32_t *) km_map(frame, PAGE_SIZE,
+	page = (uint32_t *) km_map(frame, PAGE_SIZE, PAGE_SIZE,
 	    PAGE_READ | PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);