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;