read_gic_counter_32h 35 drivers/clocksource/mips-gic-timer.c hi = read_gic_counter_32h(); read_gic_counter_32h 37 drivers/clocksource/mips-gic-timer.c hi2 = read_gic_counter_32h();