Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision de0af3afebf0198d5752b631cae05c2546287398)
+++ kernel/generic/src/mm/as.c	(revision 5a2e0dd5a99729f2bbcfc65e095f77e1698ebf8d)
@@ -555,5 +555,10 @@
 	uintptr_t vb = *(uintptr_t *)b;
 
-	return va - vb;
+	if (va < vb)
+		return -1;
+	else if (va == vb)
+		return 0;
+	else
+		return +1;
 }