From 9d0c1240c83959f9df5c2d54e9556dce8e637bdb Mon Sep 17 00:00:00 2001 From: Alan Cox Date: Wed, 14 Jun 2017 21:25:37 +0100 Subject: [PATCH] usermem: not relevant on level 0 --- Kernel/usermem.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Kernel/usermem.c b/Kernel/usermem.c index 7bfbefdf..43d987c2 100644 --- a/Kernel/usermem.c +++ b/Kernel/usermem.c @@ -8,6 +8,8 @@ #include #include +#if !defined(CONFIG_LEVEL_0) + /* Flat mode has to use its own valaddr: tidy this */ #if !defined(CONFIG_FLAT) && !defined(CONFIG_VMMU) @@ -302,3 +304,4 @@ int _uputl(uint32_t val, void *uaddr) #endif #endif +#endif \ No newline at end of file -- 2.34.1