1 // SPDX-License-Identifier: GPL-2.0
2 
3 #include <linux/export.h>
4 #include <linux/sched/task.h>
5 
rust_helper_get_current(void)6 struct task_struct *rust_helper_get_current(void)
7 {
8 	return current;
9 }
10 
rust_helper_get_task_struct(struct task_struct * t)11 void rust_helper_get_task_struct(struct task_struct *t)
12 {
13 	get_task_struct(t);
14 }
15 
rust_helper_put_task_struct(struct task_struct * t)16 void rust_helper_put_task_struct(struct task_struct *t)
17 {
18 	put_task_struct(t);
19 }
20