MPIC_TIMER_TCR_CLKDIV  407 arch/powerpc/sysdev/mpic_timer.c 		div = (1 << (MPIC_TIMER_TCR_CLKDIV >> 8)) * 8;
MPIC_TIMER_TCR_CLKDIV  507 arch/powerpc/sysdev/mpic_timer.c 		setbits32(priv->group_tcr, MPIC_TIMER_TCR_CLKDIV);
MPIC_TIMER_TCR_CLKDIV  530 arch/powerpc/sysdev/mpic_timer.c 			setbits32(priv->group_tcr, MPIC_TIMER_TCR_CLKDIV);