113 void arch_task_cache_init(void)  in arch_task_cache_init()  argument
125 void exit_thread(void)  in exit_thread()  argument
148 void flush_thread(void)  in flush_thread()  argument
170 static void hard_disable_TSC(void)  in hard_disable_TSC()  argument
175 void disable_TSC(void)  in disable_TSC()  argument
187 static void hard_enable_TSC(void)  in hard_enable_TSC()  argument
192 static void enable_TSC(void)  in enable_TSC()  argument
281 static inline void play_dead(void)  in play_dead()  argument
288 void enter_idle(void)  in enter_idle()  argument
294 static void __exit_idle(void)  in __exit_idle()  argument
302 void exit_idle(void)  in exit_idle()  argument
311 void arch_cpu_idle_enter(void)  in arch_cpu_idle_enter()  argument
317 void arch_cpu_idle_exit(void)  in arch_cpu_idle_exit()  argument
322 void arch_cpu_idle_dead(void)  in arch_cpu_idle_dead()  argument
330 void arch_cpu_idle(void)  in arch_cpu_idle()  argument
338 void default_idle(void)  in default_idle()  argument
349 bool xen_set_default_idle(void)  in xen_set_default_idle()  argument
387 static void amd_e400_idle(void)  in amd_e400_idle()  argument
453 static void mwait_idle(void)  in mwait_idle()  argument
495 void __init init_amd_e400_c1e_mask(void)  in init_amd_e400_c1e_mask()  argument