97 void exit_thread(void)  in exit_thread()  argument
123 void flush_thread(void)  in flush_thread()  argument
133 static void hard_disable_TSC(void)  in hard_disable_TSC()  argument
138 void disable_TSC(void)  in disable_TSC()  argument
150 static void hard_enable_TSC(void)  in hard_enable_TSC()  argument
155 static void enable_TSC(void)  in enable_TSC()  argument
244 static inline void play_dead(void)  in play_dead()  argument
251 void enter_idle(void)  in enter_idle()  argument
257 static void __exit_idle(void)  in __exit_idle()  argument
265 void exit_idle(void)  in exit_idle()  argument
274 void arch_cpu_idle_enter(void)  in arch_cpu_idle_enter()  argument
280 void arch_cpu_idle_exit(void)  in arch_cpu_idle_exit()  argument
285 void arch_cpu_idle_dead(void)  in arch_cpu_idle_dead()  argument
293 void arch_cpu_idle(void)  in arch_cpu_idle()  argument
301 void default_idle(void)  in default_idle()  argument
312 bool xen_set_default_idle(void)  in xen_set_default_idle()  argument
351 static void amd_e400_idle(void)  in amd_e400_idle()  argument
416 static void mwait_idle(void)  in mwait_idle()  argument
458 void __init init_amd_e400_c1e_mask(void)  in init_amd_e400_c1e_mask()  argument