mpam_resctrl_offline_cpu
mpam_resctrl_offline_cpu(cpu);
void mpam_resctrl_offline_cpu(unsigned int cpu);