81 static inline void set_cpu_sibling_map(int cpu)  in set_cpu_sibling_map()
99 static inline void set_cpu_core_map(int cpu)  in set_cpu_core_map()
154 	unsigned int cpu;  in start_secondary()  local
257 int __cpu_up(unsigned int cpu, struct task_struct *tidle)  in __cpu_up()
337 		unsigned int cpu;  in flush_tlb_mm()  local
376 		unsigned int cpu;  in flush_tlb_range()  local
422 		unsigned int cpu;  in flush_tlb_page()  local
453 	int cpu = smp_processor_id();  in dump_send_ipi()  local
474 	int cpu;  in tick_broadcast()  local
487 	int cpu = smp_processor_id();  in tick_broadcast_callee()  local
495 	int cpu;  in tick_broadcast_init()  local