SCX_KF_CPU_RELEASE
__SCX_KF_RQ_LOCKED = SCX_KF_CPU_RELEASE | SCX_KF_DISPATCH |
SCX_CALL_OP(sch, SCX_KF_CPU_RELEASE, cpu_release, rq,
if (unlikely(highest_bit(mask) == SCX_KF_CPU_RELEASE &&
(current->scx.kf_mask & higher_bits(SCX_KF_CPU_RELEASE)))) {
if (!scx_kf_allowed(sch, SCX_KF_CPU_RELEASE))