diff --git a/src/system/kernel/arch/x86/arch_int.cpp b/src/system/kernel/arch/x86/arch_int.cpp
index 6bc31eff71..50f51a401f 100644
--- a/src/system/kernel/arch/x86/arch_int.cpp
+++ b/src/system/kernel/arch/x86/arch_int.cpp
@@ -708,9 +708,7 @@ ioapic_init(kernel_args* args)
 	for (uint32 i = 0; i < 256; i++)
 		sIRQToIOAPICPin[i] = i;
 
-#ifdef TRACE_ARCH_INT
 	print_irq_routing_table(&table);
-#endif
 
 	// configure io apic interrupts from PCI routing table
 	for (int i = 0; i < table.Count(); i++) {