__arch_counter_get_cntvct_stable
return __arch_counter_get_cntvct_stable();
val = __arch_counter_get_cntvct_stable();