BackGround

Some callbacks of sched_class are marked as public_users, but they should be insider. See the struct_properties['sched_class']['public_users']:

{('put_prev_task', 'kernel/sched/sched.h'), ('check_class_changed', 'kernel/sched/core.c'), ('set_next_task', 'kernel/sched/sched.h'), ('dequeue_task', 'kernel/sched/core.c'), ('enqueue_task', 'kernel/sched/core.c')}