|
@@ -462,7 +462,7 @@ static void __init arch_counter_register(unsigned type)
|
|
|
|
|
|
/* Register the CP15 based counter if we have one */
|
|
/* Register the CP15 based counter if we have one */
|
|
if (type & ARCH_CP15_TIMER) {
|
|
if (type & ARCH_CP15_TIMER) {
|
|
- if (arch_timer_use_virtual)
|
|
|
|
|
|
+ if (IS_ENABLED(CONFIG_ARM64) || arch_timer_use_virtual)
|
|
arch_timer_read_counter = arch_counter_get_cntvct;
|
|
arch_timer_read_counter = arch_counter_get_cntvct;
|
|
else
|
|
else
|
|
arch_timer_read_counter = arch_counter_get_cntpct;
|
|
arch_timer_read_counter = arch_counter_get_cntpct;
|