1fe147956SDavid Vernet /* SPDX-License-Identifier: GPL-2.0 */
2fe147956SDavid Vernet /* Copyright (c) 2022 Meta Platforms, Inc. and affiliates. */
3fe147956SDavid Vernet 
4fe147956SDavid Vernet #ifndef _TASK_KFUNC_COMMON_H
5fe147956SDavid Vernet #define _TASK_KFUNC_COMMON_H
6fe147956SDavid Vernet 
7fe147956SDavid Vernet #include <errno.h>
8fe147956SDavid Vernet #include <vmlinux.h>
9fe147956SDavid Vernet #include <bpf/bpf_helpers.h>
10fe147956SDavid Vernet #include <bpf/bpf_tracing.h>
11fe147956SDavid Vernet 
12fe147956SDavid Vernet struct __tasks_kfunc_map_value {
1303b77e17SAlexei Starovoitov 	struct task_struct __kptr * task;
14fe147956SDavid Vernet };
15fe147956SDavid Vernet 
16fe147956SDavid Vernet struct hash_map {
17fe147956SDavid Vernet 	__uint(type, BPF_MAP_TYPE_HASH);
18fe147956SDavid Vernet 	__type(key, int);
19fe147956SDavid Vernet 	__type(value, struct __tasks_kfunc_map_value);
20fe147956SDavid Vernet 	__uint(max_entries, 1);
21fe147956SDavid Vernet } __tasks_kfunc_map SEC(".maps");
22fe147956SDavid Vernet 
23fe147956SDavid Vernet struct task_struct *bpf_task_acquire(struct task_struct *p) __ksym;
24fe147956SDavid Vernet void bpf_task_release(struct task_struct *p) __ksym;
25f471748bSDavid Vernet struct task_struct *bpf_task_from_pid(s32 pid) __ksym;
26*d02c48faSDavid Vernet void bpf_rcu_read_lock(void) __ksym;
27*d02c48faSDavid Vernet void bpf_rcu_read_unlock(void) __ksym;
28fe147956SDavid Vernet 
tasks_kfunc_map_value_lookup(struct task_struct * p)29fe147956SDavid Vernet static inline struct __tasks_kfunc_map_value *tasks_kfunc_map_value_lookup(struct task_struct *p)
30fe147956SDavid Vernet {
31fe147956SDavid Vernet 	s32 pid;
32fe147956SDavid Vernet 	long status;
33fe147956SDavid Vernet 
34fe147956SDavid Vernet 	status = bpf_probe_read_kernel(&pid, sizeof(pid), &p->pid);
35fe147956SDavid Vernet 	if (status)
36fe147956SDavid Vernet 		return NULL;
37fe147956SDavid Vernet 
38fe147956SDavid Vernet 	return bpf_map_lookup_elem(&__tasks_kfunc_map, &pid);
39fe147956SDavid Vernet }
40fe147956SDavid Vernet 
tasks_kfunc_map_insert(struct task_struct * p)41fe147956SDavid Vernet static inline int tasks_kfunc_map_insert(struct task_struct *p)
42fe147956SDavid Vernet {
43fe147956SDavid Vernet 	struct __tasks_kfunc_map_value local, *v;
44fe147956SDavid Vernet 	long status;
45fe147956SDavid Vernet 	struct task_struct *acquired, *old;
46fe147956SDavid Vernet 	s32 pid;
47fe147956SDavid Vernet 
48fe147956SDavid Vernet 	status = bpf_probe_read_kernel(&pid, sizeof(pid), &p->pid);
49fe147956SDavid Vernet 	if (status)
50fe147956SDavid Vernet 		return status;
51fe147956SDavid Vernet 
52fe147956SDavid Vernet 	local.task = NULL;
53fe147956SDavid Vernet 	status = bpf_map_update_elem(&__tasks_kfunc_map, &pid, &local, BPF_NOEXIST);
54fe147956SDavid Vernet 	if (status)
55fe147956SDavid Vernet 		return status;
56fe147956SDavid Vernet 
57fe147956SDavid Vernet 	v = bpf_map_lookup_elem(&__tasks_kfunc_map, &pid);
58fe147956SDavid Vernet 	if (!v) {
59fe147956SDavid Vernet 		bpf_map_delete_elem(&__tasks_kfunc_map, &pid);
60fe147956SDavid Vernet 		return -ENOENT;
61fe147956SDavid Vernet 	}
62fe147956SDavid Vernet 
63fe147956SDavid Vernet 	acquired = bpf_task_acquire(p);
64*d02c48faSDavid Vernet 	if (!acquired)
65*d02c48faSDavid Vernet 		return -ENOENT;
66*d02c48faSDavid Vernet 
67fe147956SDavid Vernet 	old = bpf_kptr_xchg(&v->task, acquired);
68fe147956SDavid Vernet 	if (old) {
69fe147956SDavid Vernet 		bpf_task_release(old);
70fe147956SDavid Vernet 		return -EEXIST;
71fe147956SDavid Vernet 	}
72fe147956SDavid Vernet 
73fe147956SDavid Vernet 	return 0;
74fe147956SDavid Vernet }
75fe147956SDavid Vernet 
76fe147956SDavid Vernet #endif /* _TASK_KFUNC_COMMON_H */
77