1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (c) 2024 Meta Platforms, Inc. and affiliates. */
3 #include <vmlinux.h>
4 #include <bpf/bpf_tracing.h>
5 #include "../bpf_testmod/bpf_testmod.h"
6
7 char _license[] SEC("license") = "GPL";
8
9 pid_t tgid = 0;
10
11 /* This is a test BPF program that uses struct_ops to access an argument
12 * that may be NULL. This is a test for the verifier to ensure that it can
13 * rip PTR_MAYBE_NULL correctly.
14 */
15 SEC("struct_ops/test_maybe_null")
16 int BPF_PROG(test_maybe_null, int dummy,
17 struct task_struct *task)
18 {
19 if (task)
20 tgid = task->tgid;
21
22 return 0;
23 }
24
25 SEC(".struct_ops.link")
26 struct bpf_testmod_ops testmod_1 = {
27 .test_maybe_null = (void *)test_maybe_null,
28 };
29
30
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.