kernel/sched/core.c:4428: warning: No description found for return value of 'cpu_curr_snapshot'
kernel/sched/core.c:5203: warning: No description found for return value of 'finish_task_switch'
Error: Cannot open file rust/helpers/kernel.c
Error: Cannot open file rust/kernel/cpu.rs
Error: Cannot open file rust/kernel/io.rs
Error: Cannot open file rust/kernel/io/poll.rs
kernel/sched/core.c:4428: warning: No description found for return value of 'cpu_curr_snapshot'
kernel/sched/core.c:5203: warning: No description found for return value of 'finish_task_switch'