Symbol: gt_counter_read
drivers/clocksource/arm_global_timer.c
100
u64 counter = gt_counter_read();
drivers/clocksource/arm_global_timer.c
204
return gt_counter_read();