tick_nohz_full_setup
extern void __init tick_nohz_full_setup(cpumask_var_t cpumask);
tick_nohz_full_setup(non_housekeeping_mask);