Index: kernel/arch/amd64/src/vreg.c
===================================================================
--- kernel/arch/amd64/src/vreg.c	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
+++ kernel/arch/amd64/src/vreg.c	(revision fa86fff978f42fa20491d74ff2a6cc904ab53fd0)
@@ -66,5 +66,5 @@
 		panic("Cannot allocate VREG frame.");
 
-	page = (uint64_t *) km_map(frame, PAGE_SIZE,
+	page = (uint64_t *) km_map(frame, PAGE_SIZE, PAGE_SIZE,
 	    PAGE_READ | PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);