Symbol: ixp4xx_read_timer
drivers/clocksource/timer-ixp4xx.c
222
tmr->delay_timer.read_current_timer = ixp4xx_read_timer;
drivers/clocksource/timer-ixp4xx.c
74
return ixp4xx_read_timer();
drivers/clocksource/timer-ixp4xx.c
79
return ixp4xx_read_timer();