GLB_TIMER_SOURCE_GPU_COUNTER
GLB_TIMER_SOURCE_GPU_COUNTER;
(use_cycle_counter ? GLB_TIMER_SOURCE_GPU_COUNTER : 0);