diff --git a/src/system/kernel/arch/arm/arch_vm_translation_map.cpp b/src/system/kernel/arch/arm/arch_vm_translation_map.cpp
index 6fc4ba1895..24d1eef15f 100644
--- a/src/system/kernel/arch/arm/arch_vm_translation_map.cpp
+++ b/src/system/kernel/arch/arm/arch_vm_translation_map.cpp
@@ -145,7 +145,7 @@ bool
 arch_vm_translation_map_is_kernel_page_accessible(addr_t virtualAddress,
 	uint32 protection)
 {
-	if(!gARMPagingMethod)
+	if (!gARMPagingMethod)
 		return true;
 
 	return gARMPagingMethod->IsKernelPageAccessible(virtualAddress, protection);