Failed to find history of kernel/arch/arm/kernel/arch_timer.c 57e32c52610e6a560beda60bf33c48f9f42306d5