23 extern void tick_cleanup_dead_cpu(int cpu);
31 static inline void tick_cleanup_dead_cpu(int cpu) { }  in tick_cleanup_dead_cpu()  argument
99 extern u64 get_cpu_idle_time_us(int cpu, u64 *last_update_time);
100 extern u64 get_cpu_iowait_time_us(int cpu, u64 *last_update_time);
112 static inline u64 get_cpu_idle_time_us(int cpu, u64 *unused) { return -1; }  in get_cpu_idle_time_us()  argument
113 static inline u64 get_cpu_iowait_time_us(int cpu, u64 *unused) { return -1; }  in get_cpu_iowait_time_us()  argument
129 static inline bool tick_nohz_full_cpu(int cpu)  in tick_nohz_full_cpu()  argument
134 	return cpumask_test_cpu(cpu, tick_nohz_full_mask);  in tick_nohz_full_cpu()
139 extern void tick_nohz_full_kick_cpu(int cpu);
144 static inline bool tick_nohz_full_cpu(int cpu) { return false; }  in tick_nohz_full_cpu()  argument
146 static inline void tick_nohz_full_kick_cpu(int cpu) { }  in tick_nohz_full_kick_cpu()  argument
152 static inline bool is_housekeeping_cpu(int cpu)  in is_housekeeping_cpu()  argument
156 		return cpumask_test_cpu(cpu, housekeeping_mask);  in is_housekeeping_cpu()