Index: kernel/arch/mips32/src/interrupt.c
===================================================================
--- kernel/arch/mips32/src/interrupt.c	(revision 2b698d86ef8bca30acb1f746e8a61eb544b07a12)
+++ kernel/arch/mips32/src/interrupt.c	(revision db71e2af5cdfe169de296e6f39b3e5eda7a966f6)
@@ -45,9 +45,15 @@
 #define IRQ_COUNT   8
 #define TIMER_IRQ   7
+
+#ifdef MACHINE_msim
 #define DORDER_IRQ  5
+#endif
 
 function virtual_timer_fnc = NULL;
 static irq_t timer_irq;
+
+#ifdef MACHINE_msim
 static irq_t dorder_irq;
+#endif
 
 // TODO: This is SMP unsafe!!!
@@ -151,4 +157,5 @@
 }
 
+#ifdef MACHINE_msim
 static irq_ownership_t dorder_claim(irq_t *irq)
 {
@@ -160,4 +167,5 @@
 	dorder_ipi_ack(1 << dorder_cpuid());
 }
+#endif
 
 /* Initialize basic tables for exception dispatching */
@@ -176,4 +184,5 @@
 	cp0_unmask_int(TIMER_IRQ);
 	
+#ifdef MACHINE_msim
 	irq_initialize(&dorder_irq);
 	dorder_irq.devno = device_assign_devno();
@@ -184,4 +193,5 @@
 	
 	cp0_unmask_int(DORDER_IRQ);
+#endif
 }