Linux kernel bug fix: clocksource/drivers/arm_arch_timer: Fix vDSO clockmode when vDSO disabled
Subsystem: drivers (drivers/clocksource/arm_arch_timer.c)
Bug type: hang, severity: medium
Files changed: drivers/clocksource/arm_arch_timer.c
Introduced by Thomas Gleixner on 2020-02-17 20:12:16 +0100; fixed by Vincenzo Frascino on 2020-02-25 22:08:39 +0100 (lifetime: 8 days)