sched_core_cpu_deactivate
static void sched_core_cpu_deactivate(unsigned int cpu)
static inline void sched_core_cpu_deactivate(unsigned int cpu) {}