Symbol: resctrl_offline_cpu
arch/x86/kernel/cpu/resctrl/core.c
755
resctrl_offline_cpu(cpu);
include/linux/resctrl.h
517
void resctrl_offline_cpu(unsigned int cpu);