170 static void calc_cputime_factors(void)  in calc_cputime_factors()  argument
248 void accumulate_stolen_time(void)  in accumulate_stolen_time()  argument
435 static inline unsigned long test_irq_work_pending(void)  in test_irq_work_pending()  argument
445 static inline void set_irq_work_pending_flag(void)  in set_irq_work_pending_flag()  argument
452 static inline void clear_irq_work_pending(void)  in clear_irq_work_pending()  argument
469 void arch_irq_work_raise(void)  in arch_irq_work_raise()  argument
484 static void __timer_interrupt(void)  in __timer_interrupt()  argument
579 static void generic_suspend_disable_irqs(void)  in generic_suspend_disable_irqs()  argument
590 static void generic_suspend_enable_irqs(void)  in generic_suspend_enable_irqs()  argument
596 void arch_suspend_disable_irqs(void)  in arch_suspend_disable_irqs()  argument
604 void arch_suspend_enable_irqs(void)  in arch_suspend_enable_irqs()  argument
625 unsigned long long sched_clock(void)  in sched_clock()  argument
640 unsigned long long running_clock(void)  in running_clock()  argument
686 static void start_cpu_decrementer(void)  in start_cpu_decrementer()  argument
697 void __init generic_calibrate_decr(void)  in generic_calibrate_decr()  argument
828 void update_vsyscall_tz(void)  in update_vsyscall_tz()  argument
834 static void __init clocksource_init(void)  in clocksource_init()  argument
873 void tick_broadcast_ipi_handler(void)  in tick_broadcast_ipi_handler()  argument
894 static void __init init_decrementer_clockevent(void)  in init_decrementer_clockevent()  argument
908 void secondary_cpu_time_init(void)  in secondary_cpu_time_init()  argument
921 void __init time_init(void)  in time_init()  argument
1107 void calibrate_delay(void)  in calibrate_delay()  argument
1115 static int __init rtc_init(void)  in rtc_init()  argument