Index: kernel/arch/mips32/src/mm/km.c
===================================================================
--- kernel/arch/mips32/src/mm/km.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/mips32/src/mm/km.c	(revision cbc534cf92ce35b6ee6f37943d685bdc4b1b70d8)
@@ -51,6 +51,6 @@
 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);
+	return iswithin(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE, addr, 1) ||
+	    iswithin(KM_MIPS32_KSEG3_START, KM_MIPS32_KSEG3_SIZE, addr, 1);
 }