diff --git a/arch/x86_64/irq.c b/arch/x86_64/irq.c
index d703cf1..eacb570 100644
--- a/arch/x86_64/irq.c
+++ b/arch/x86_64/irq.c
@@ -1,7 +1,6 @@
 #include <arch/irq.h>
 #include <arch/ports.h>
 #include <arch/acpi.h>
-#include <socks/printk.h>
 #include <socks/sched.h>
 #include <socks/cpu.h>
 #include <socks/panic.h>
@@ -129,7 +128,6 @@ int idt_load(struct idt_ptr *ptr)
 
 void isr_dispatch(struct cpu_context *regs)
 {
-	printk("received ISR#%u on CPU %u", regs->int_no, this_cpu());
 	int_hook h = isr_handlers[regs->int_no];
 	if (h) {
 		h(regs);
@@ -142,10 +140,6 @@ void irq_dispatch(struct cpu_context *regs)
 {
 	end_charge_period();
 
-	if (regs->int_no != IRQ0) {
-		printk("received IRQ#%u on CPU %u", regs->int_no - IRQ0,  this_cpu());
-	}
-
 	irq_ack(regs->int_no);
 	struct queue *hooks = &irq_hooks[regs->int_no - IRQ0];
 	queue_foreach(struct irq_hook, hook, hooks, irq_entry) {