Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 0b378820b4861f67ea1335ef6260a5c98a59c64c)
+++ 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)