usermem: not relevant on level 0

diff --git a/Kernel/usermem.c b/Kernel/usermem.c
index 7bfbefd..43d987c 100644 (file)
--- a/Kernel/usermem.c
+++ b/Kernel/usermem.c
@@ -8,6 +8,8 @@
 #include <kdata.h>
 #include <printf.h>
 
+#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