Symbol: gic_read_count
drivers/clocksource/mips-gic-timer.c
163
return gic_read_count();
drivers/clocksource/mips-gic-timer.c
59
cnt = gic_read_count();
drivers/clocksource/mips-gic-timer.c
67
res = ((int)(gic_read_count() - cnt) >= 0) ? -ETIME : 0;