diff --git a/src/system/kernel/int.c b/src/system/kernel/int.c
index 2bfb44b00b..ffb07578ca 100644
--- a/src/system/kernel/int.c
+++ b/src/system/kernel/int.c
@@ -66,7 +66,7 @@ interrupts_enabled(void)
 status_t
 int_init(kernel_args *args)
 {
-	dprintf("init_int_handlers: entry\n");
+	TRACE(("init_int_handlers: entry\n"));
 
 	return arch_int_init(args);
 }