gic_read_count     49 drivers/clocksource/mips-gic-timer.c 	cnt = gic_read_count();
gic_read_count     57 drivers/clocksource/mips-gic-timer.c 	res = ((int)(gic_read_count() - cnt) >= 0) ? -ETIME : 0;
gic_read_count    154 drivers/clocksource/mips-gic-timer.c 	return gic_read_count();