Index: kernel/arch/amd64/src/vreg.c
===================================================================
--- kernel/arch/amd64/src/vreg.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
+++ kernel/arch/amd64/src/vreg.c	(revision 3012ae777ffbbbecfe02f17eb2a456c88726797c)
@@ -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);