From de4f3cf3a7e969666af6e78479fad1779116a014 Mon Sep 17 00:00:00 2001
From: "Ithamar R. Adema" <ithamar@upgrade-android.com>
Date: Mon, 5 Nov 2012 01:41:50 +0100
Subject: [PATCH] ARM: only warn if unknown memory types are being mapped.

This is a workaround for missing writecombine & friends support. Needs
proper fixing, but too many other things to do atm to focus on that...
---
 src/system/kernel/arch/arm/arch_vm.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/system/kernel/arch/arm/arch_vm.cpp b/src/system/kernel/arch/arm/arch_vm.cpp
index 340ae784d0..bdde3ce928 100644
--- a/src/system/kernel/arch/arm/arch_vm.cpp
+++ b/src/system/kernel/arch/arm/arch_vm.cpp
@@ -97,8 +97,8 @@ arch_vm_unset_memory_type(VMArea *area)
 status_t
 arch_vm_set_memory_type(VMArea *area, phys_addr_t physicalBase, uint32 type)
 {
-	if (type == 0)
-		return B_OK;
+	if (type != 0)
+		dprintf("%s: undefined type %lx!\n", __PRETTY_FUNCTION__, type);
 
-	return B_ERROR;
+	return B_OK;
 }