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);