original_kernel/Documentation/features/time/arch-tick-broadcast
..
arch-support.txt