Symbol: arch_counter_get_width
drivers/clocksource/arm_arch_timer.c
671
return CLOCKSOURCE_MASK(arch_counter_get_width());
drivers/clocksource/arm_arch_timer.c
936
width = arch_counter_get_width();