Changeset 1b478f6 in mainline for kernel/arch/mips32/src/mm/km.c

Timestamp:

2011-12-14T23:54:17Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c72dc15

Parents:

464a52f

Message:

Add km_is_non_identity().

File:

• kernel/arch/mips32/src/mm/km.c (modified) (2 diffs)

kernel/arch/mips32/src/mm/km.c

@@ -34 +34 @@
 #include <mm/km.h>
 #include <config.h>
+#include <typedefs.h>
+#include <macros.h>
 
 void km_identity_arch_init(void)
@@ -47 +49 @@
 }
 
+bool km_is_non_identity_arch(uintptr_t addr)
+{
+        return iswithin(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE, addr, 1)
+            || iswithin(KM_MIPS32_KSEG3_START, KM_MIPS32_KSEG3_SIZE, addr, 1);
+}
+
 /** @}
  */