Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 3abfe9a8c876edadf93ecfc3c4742d4266d6e1b5)
+++ kernel/generic/src/mm/backend_elf.c	(revision 563b5385ab991fa17ac41d61832cf43e1c5c58ea)
@@ -92,6 +92,6 @@
 		return AS_PF_FAULT;
 
-	ASSERT((addr >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) &&
-	    (addr < entry->p_vaddr + entry->p_memsz));
+	ASSERT(addr >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE));
+	ASSERT(addr < entry->p_vaddr + entry->p_memsz);
 	i = (addr - ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) >> PAGE_WIDTH;
 	base = (uintptr_t)