ixp4xx_read_timer   85 drivers/clocksource/timer-ixp4xx.c 	return ixp4xx_read_timer();
ixp4xx_read_timer   90 drivers/clocksource/timer-ixp4xx.c 	return ixp4xx_read_timer();
ixp4xx_read_timer  234 drivers/clocksource/timer-ixp4xx.c 	tmr->delay_timer.read_current_timer = ixp4xx_read_timer;