Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision 556f9892d2e10c220ff5474d54af02f68faf6925)
+++ kernel/generic/src/sysinfo/stats.c	(revision acda8f0d860aed5b8131e3a02a130210c66dbed7)
@@ -169,5 +169,5 @@
 	 */
 
-	if (!mutex_trylock(&as->lock))
+	if (SYNCH_FAILED(mutex_trylock(&as->lock)))
 		return result * PAGE_SIZE;
 	
@@ -183,5 +183,5 @@
 			as_area_t *area = node->value[i];
 			
-			if (!mutex_trylock(&area->lock))
+			if (SYNCH_FAILED(mutex_trylock(&area->lock)))
 				continue;
 			result += area->pages;