Home
last modified time | relevance | path

Searched refs:vdso_default (Results 1 – 1 of 1) sorted by relevance

/drivers/clocksource/
Darm_arch_timer.c91 static enum vdso_clock_mode vdso_default = VDSO_CLOCKMODE_ARCHTIMER; variable
93 static enum vdso_clock_mode vdso_default = VDSO_CLOCKMODE_NONE; variable
603 vdso_default = VDSO_CLOCKMODE_NONE; in arch_timer_enable_workaround()
604 } else if (wa->disable_compat_vdso && vdso_default != VDSO_CLOCKMODE_NONE) { in arch_timer_enable_workaround()
605 vdso_default = VDSO_CLOCKMODE_ARCHTIMER_NOCOMPAT; in arch_timer_enable_workaround()
606 clocksource_counter.vdso_clock_mode = vdso_default; in arch_timer_enable_workaround()
1131 clocksource_counter.vdso_clock_mode = vdso_default; in arch_counter_register()