Symbol: gic_read_count_2x32
drivers/clocksource/mips-gic-timer.c
297
gic_read_count_64 : gic_read_count_2x32,
drivers/clocksource/mips-gic-timer.c
50
return gic_read_count_2x32();