arch_timer_cpu_pm_deinit 1048 drivers/clocksource/arm_arch_timer.c static void __init arch_timer_cpu_pm_deinit(void)
arch_timer_cpu_pm_deinit 1059 drivers/clocksource/arm_arch_timer.c static void __init arch_timer_cpu_pm_deinit(void)