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