resctrl_arch_sched_in
resctrl_arch_sched_in(current);
resctrl_arch_sched_in(next_p);
resctrl_arch_sched_in(task);