Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 18b5402c52a19cabb1ecd9b32bd8d5dc8862b22a)
+++ kernel/generic/src/syscall/syscall.c	(revision 07640dfd0f06086a843fa228d6305345338c4f0c)
@@ -62,4 +62,7 @@
 	unative_t rc;
 
+	/* Do userpace accounting */
+	thread_update_accounting(true);
+
 #ifdef CONFIG_UDEBUG
 	/*
@@ -96,4 +99,7 @@
 	}
 #endif
+
+	/* Do kernel accounting */
+	thread_update_accounting(false);
 	
 	return rc;