+#ifdef IOP331_TIME_SYNC
+ /* Setup second timer */
+ /* setup counter */
+ timer_ctl = IOP331_TMR_EN | IOP331_TMR_PRIVILEGED |
+ IOP331_TMR_RATIO_1_1;
+ asm volatile("mcr p6, 0, %0, c3, c1, 0" : : "r" (0xffffffff));
+ /* setup control */
+ asm volatile("mcr p6, 0, %0, c1, c1, 0" : : "r" (timer_ctl));
+#endif