mirror of
https://github.com/Dasharo/linux.git
synced 2026-03-06 15:25:10 -08:00
When CPU hotplugging is enabled, the user may want to remove the current CPU which is providing the timer ticks. If this happens we need to find a new timesync master. Signed-off-by: Helge Deller <deller@gmx.de>