sirfsoc_timer_read 87 drivers/clocksource/timer-atlas7.c static u64 sirfsoc_timer_read(struct clocksource *cs) sirfsoc_timer_read 74 drivers/clocksource/timer-prima2.c static u64 notrace sirfsoc_timer_read(struct clocksource *cs)