giccount           67 arch/mips/mti-malta/malta-time.c 	u64 giccount = 0, gicstart = 0;
giccount           97 arch/mips/mti-malta/malta-time.c 		giccount = read_gic_counter();
giccount          120 arch/mips/mti-malta/malta-time.c 		giccount = div_u64(giccount - gicstart, secs);
giccount          121 arch/mips/mti-malta/malta-time.c 		gic_frequency = giccount;