Index: octeon_irq.h
===================================================================
--- octeon_irq.h	(revision 233380)
+++ octeon_irq.h	(working copy)
@@ -176,4 +176,6 @@
     /* Interrupts 129 - 135 are reserved */
 } octeon_irq_t;
 
+#define	OCTEON_PMC_IRQ	OCTEON_IRQ_4
+
 #endif
Index: octeon_machdep.c
===================================================================
--- octeon_machdep.c	(revision 233380)
+++ octeon_machdep.c	(working copy)
@@ -260,6 +260,8 @@
 void
 octeon_ciu_reset(void)
 {
+	uint64_t cvmctl;
+
 	/* Disable all CIU interrupts by default */
 	cvmx_write_csr(CVMX_CIU_INTX_EN0(cvmx_get_core_num()*2), 0);
 	cvmx_write_csr(CVMX_CIU_INTX_EN0(cvmx_get_core_num()*2+1), 0);
@@ -272,6 +274,14 @@
 		       (1ull << (OCTEON_IRQ_MBOX0 - 8)) |
 		       (1ull << (OCTEON_IRQ_MBOX1 - 8)));
 #endif
+
+	/* 
+	 * Move the Performance Counter interrupt to OCTEON_PMC_IRQ
+	 */
+	cvmctl = mips_rd_cvmctl();
+	cvmctl &= ~(7 << 7);
+	cvmctl |= (OCTEON_PMC_IRQ + 2) << 7;
+	mips_wr_cvmctl(cvmctl);
 }
 
 static void
Index: octeon_pmc.c
===================================================================
--- octeon_pmc.c	(revision 233380)
+++ octeon_pmc.c	(working copy)
@@ -57,8 +57,6 @@
 static int		octeon_pmc_attach(device_t);
 static int		octeon_pmc_intr(void *);
 
-#define	OCTEON_PMC_IRQ	4
-
 static void
 octeon_pmc_identify(driver_t *drv, device_t parent)
 {
@@ -82,7 +80,6 @@
 	struct octeon_pmc_softc *sc;
 	int error;
 	int rid;
-	uint64_t cvmctl;
 
 	sc = device_get_softc(dev);
 
@@ -103,14 +100,6 @@
 		return (error);
 	}
 
-	/* 
-	 * Move the Performance Counter interrupt to OCTEON_PMC_IRQ
-	 */
-	cvmctl = mips_rd_cvmctl();
-	cvmctl &= ~(7 << 7);
-	cvmctl |= (OCTEON_PMC_IRQ + 2) << 7;
-	mips_wr_cvmctl(cvmctl);
-
 	return (0);
 }