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;