kernel/sched/core.c:4435: warning: No description found for return value of 'cpu_curr_snapshot' kernel/sched/core.c:5210: warning: No description found for return value of 'finish_task_switch' kernel/sched/sched.h:2000: warning: No description found for return value of 'highest_flag_domain' kernel/sched/core.c:4435: warning: No description found for return value of 'cpu_curr_snapshot' kernel/sched/core.c:5210: warning: No description found for return value of 'finish_task_switch' kernel/sched/sched.h:2000: warning: No description found for return value of 'highest_flag_domain'