vdso_default 72 drivers/clocksource/arm_arch_timer.c static bool vdso_default = true; vdso_default 564 drivers/clocksource/arm_arch_timer.c vdso_default = false; vdso_default 982 drivers/clocksource/arm_arch_timer.c clocksource_counter.archdata.vdso_direct = vdso_default;