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