arch/arm/kernel/arch_timer.c2805b1fd8d2912cb65cd4f638ff87f0583fe4023796bfe7dc728a4da6eb2deabe1ba1cefec944c9fd5583ab8e2434ef01c1def201de2b55d1056942fea1b2ddef48b5f191b006dd0a533b923df9627a5569fb8a99f273d16a00752423f61c80022c03a