Index: kernel/generic/src/printf/vprintf.c
===================================================================
--- kernel/generic/src/printf/vprintf.c	(revision 93a33481a1d1d5573982b7a547f23b5955e928b5)
+++ kernel/generic/src/printf/vprintf.c	(revision 4a10b633a3da1b330c452bb67c605953783841e4)
@@ -63,5 +63,5 @@
 	struct printf_spec ps = {(int(*)(void *, size_t, void *)) vprintf_write, NULL};
 	
-	int irqpri = interrupts_disable();
+	ipl_t ipl = interrupts_disable();
 	spinlock_lock(&printf_lock);
 	
@@ -69,5 +69,5 @@
 	
 	spinlock_unlock(&printf_lock);
-	interrupts_restore(irqpri);
+	interrupts_restore(ipl);
 	
 	return ret;