Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 5e984f296b2eda2b4b5d68452cfbc8c1134ca2c7)
+++ kernel/generic/src/syscall/syscall.c	(revision 99297424ce4eedf8e36173e2da9cb5d698b9a02b)
@@ -105,5 +105,5 @@
 
 	/* Do kernel accounting */
-	ipl = interrupts_disable();
+	(void) interrupts_disable();
 	spinlock_lock(&THREAD->lock);
 	thread_update_accounting(false);