Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision de0af3afebf0198d5752b631cae05c2546287398)
+++ kernel/generic/src/mm/as.c	(revision de9a18e087fc024984f3c2000f77bc68fb593b76)
@@ -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;
 }