Searched refs:cpu_set_hatched (Results 1 – 3 of 3) sorted by relevance
121 cpu_set_hatched(int cpuindex) in cpu_set_hatched() function
66 void cpu_set_hatched(int);
835 cpu_set_hatched(cpuindex); in cpu_init_secondary_processor()