__arch_counter_get_cntvct
return __arch_counter_get_cntvct();
return __arch_counter_get_cntvct();
cyc = __arch_counter_get_cntvct() - clock->data[bank].epoch_cyc;
return __arch_counter_get_cntvct();
cnt = __arch_counter_get_cntvct();