1 // SPDX-License-Identifier: GPL-2.0
2
3 #include <linux/export.h>
4 #include <linux/sched/task.h>
5
6 struct task_struct *rust_helper_get_current(void)
7 {
8 return current;
9 }
10
11 void rust_helper_get_task_struct(struct task_struct *t)
12 {
13 get_task_struct(t);
14 }
15
16 void rust_helper_put_task_struct(struct task_struct *t)
17 {
18 put_task_struct(t);
19 }
20
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.