_gt_counter_read 82 drivers/clocksource/arm_global_timer.c return _gt_counter_read(); _gt_counter_read 222 drivers/clocksource/arm_global_timer.c return _gt_counter_read();