arch_counter_get_width
return CLOCKSOURCE_MASK(arch_counter_get_width());
width = arch_counter_get_width();