From fea7eea41727c4be8172a2465e752fbc30d7ccf4 Mon Sep 17 00:00:00 2001
From: Arvind S Raj <sraj.arvind@gmail.com>
Date: Thu, 7 Aug 2014 17:22:48 +0530
Subject: [PATCH] Check if gARMPagingMethod is null

in arch_vm_translation_map_is_kernel_page_accessible. Fix borrowed from x86
(commit 428b9e758c30a95154f5ad0d974894ef9ae133d6).

Signed-off-by: Adrien Destugues <pulkomandy@pulkomandy.tk>

Fixes #11107.
---
 src/system/kernel/arch/arm/arch_vm_translation_map.cpp | 3 +++
 1 file changed, 3 insertions(+)

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 faad4bf263..6fc4ba1895 100644
--- a/src/system/kernel/arch/arm/arch_vm_translation_map.cpp
+++ b/src/system/kernel/arch/arm/arch_vm_translation_map.cpp
@@ -145,5 +145,8 @@ bool
 arch_vm_translation_map_is_kernel_page_accessible(addr_t virtualAddress,
 	uint32 protection)
 {
+	if(!gARMPagingMethod)
+		return true;
+
 	return gARMPagingMethod->IsKernelPageAccessible(virtualAddress, protection);
 }