diff --git a/src/kernel/core/arch/x86/arch_vm_translation_map.c b/src/kernel/core/arch/x86/arch_vm_translation_map.c
index e80e6e3449..325dad17a6 100755
--- a/src/kernel/core/arch/x86/arch_vm_translation_map.c
+++ b/src/kernel/core/arch/x86/arch_vm_translation_map.c
@@ -798,8 +798,9 @@ vm_translation_map_module_init2(kernel_args *ka)
 // the pgdir entries back at itself, effectively mapping the contents of all of the 4MB of pagetables
 // into a 4 MB region. It's only used here, and is later unmapped.
 
-int
-vm_translation_map_quick_map(kernel_args *ka, addr va, addr pa, unsigned int attributes, addr (*get_free_page)(kernel_args *))
+status_t
+vm_translation_map_quick_map(kernel_args *ka, addr_t va, addr_t pa,
+	uint8 attributes, addr_t (*get_free_page)(kernel_args *))
 {
 	ptentry *pentry;
 	int index;