169 static void calc_cputime_factors(void)  in calc_cputime_factors()  argument
247 void accumulate_stolen_time(void)  in accumulate_stolen_time()  argument
434 static inline unsigned long test_irq_work_pending(void)  in test_irq_work_pending()  argument
444 static inline void set_irq_work_pending_flag(void)  in set_irq_work_pending_flag()  argument
451 static inline void clear_irq_work_pending(void)  in clear_irq_work_pending()  argument
468 void arch_irq_work_raise(void)  in arch_irq_work_raise()  argument
483 static void __timer_interrupt(void)  in __timer_interrupt()  argument
578 static void generic_suspend_disable_irqs(void)  in generic_suspend_disable_irqs()  argument
589 static void generic_suspend_enable_irqs(void)  in generic_suspend_enable_irqs()  argument
595 void arch_suspend_disable_irqs(void)  in arch_suspend_disable_irqs()  argument
603 void arch_suspend_enable_irqs(void)  in arch_suspend_enable_irqs()  argument
624 unsigned long long sched_clock(void)  in sched_clock()  argument
639 unsigned long long running_clock(void)  in running_clock()  argument
685 static void start_cpu_decrementer(void)  in start_cpu_decrementer()  argument
696 void __init generic_calibrate_decr(void)  in generic_calibrate_decr()  argument
827 void update_vsyscall_tz(void)  in update_vsyscall_tz()  argument
833 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