mirror of
https://github.com/hardkernel/linux.git
synced 2026-03-26 20:40:24 +09: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>