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