read_gic_counter   87 arch/mips/mti-malta/malta-time.c 		gicstart = read_gic_counter();
read_gic_counter   97 arch/mips/mti-malta/malta-time.c 		giccount = read_gic_counter();
read_gic_counter   32 drivers/clocksource/mips-gic-timer.c 		return read_gic_counter();