From 2e0a9b9554222b0b2d202448f404207ef862e064 Mon Sep 17 00:00:00 2001
From: David Karoly <karolyd577@gmail.com>
Date: Sun, 3 Jul 2022 22:49:01 +0200
Subject: [PATCH] kernel/arm: use generic/user_memory.h

Change-Id: I890bdd7d6f64162416a1a80c7d8280618aaa8fb8
Reviewed-on: https://review.haiku-os.org/c/haiku/+/5429
Tested-by: Commit checker robot <no-reply+buildbot@haiku-os.org>
Reviewed-by: Adrien Destugues <pulkomandy@pulkomandy.tk>
---
 headers/private/kernel/arch/user_memory.h | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/headers/private/kernel/arch/user_memory.h b/headers/private/kernel/arch/user_memory.h
index 7ac6989295..337a533ecc 100644
--- a/headers/private/kernel/arch/user_memory.h
+++ b/headers/private/kernel/arch/user_memory.h
@@ -11,13 +11,7 @@
 #include <thread.h>
 
 
-#ifdef __x86_64__
-#	include <arch/generic/user_memory.h>
-#elif defined(__M68K__)
-#	include <arch/generic/user_memory.h>
-#elif defined(__riscv)
-#	include <arch/generic/user_memory.h>
-#else
+#ifdef __i386__
 
 extern "C" {
 
@@ -55,6 +49,8 @@ arch_cpu_user_memset(void* s, char c, size_t count)
 }
 
 
+#else
+#	include <arch/generic/user_memory.h>
 #endif
 
 #endif	// _KERNEL_ARCH_USER_MEMORY_H