static void __init ixdp2x01_timer_init(void) { if (!ixdp2x01_clock) ixdp2x01_clock = 50000000; ixp2000_init_time(ixdp2x01_clock); }
/************************************************************************* * IXDP2400 timer tick *************************************************************************/ static void __init ixdp2400_timer_init(void) { int numerator, denominator; int denom_array[] = {2, 4, 8, 16, 1, 2, 4, 8}; numerator = (*(IXDP2400_CPLD_SYS_CLK_M) & 0xFF) *2; denominator = denom_array[(*(IXDP2400_CPLD_SYS_CLK_N) & 0x7)]; ixp2000_init_time(((3125000 * numerator) / (denominator)) / 2); }
/************************************************************************* * ENP-2611 timer tick configuration *************************************************************************/ static void __init enp2611_timer_init(void) { ixp2000_init_time(50 * 1000 * 1000); }
static void __init ixdp2800_timer_init(void) { ixp2000_init_time(50000000); }