ixp4xx_timer_register  259 drivers/clocksource/timer-ixp4xx.c 	ixp4xx_timer_register(base, timer_irq, timer_freq);
ixp4xx_timer_register  284 drivers/clocksource/timer-ixp4xx.c 	ret = ixp4xx_timer_register(base, irq, 66666000);