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