Loading...
1// SPDX-License-Identifier: GPL-2.0
2/* Copyright (c) 2021 Facebook */
3#include <vmlinux.h>
4#include <bpf/bpf_helpers.h>
5#include "../bpf_testmod/bpf_testmod_kfunc.h"
6
7SEC("tc")
8int kfunc_call_test4(struct __sk_buff *skb)
9{
10 struct bpf_sock *sk = skb->sk;
11 long tmp;
12
13 if (!sk)
14 return -1;
15
16 sk = bpf_sk_fullsock(sk);
17 if (!sk)
18 return -1;
19
20 tmp = bpf_kfunc_call_test4(-3, -30, -200, -1000);
21 return (tmp >> 32) + tmp;
22}
23
24SEC("tc")
25int kfunc_call_test2(struct __sk_buff *skb)
26{
27 struct bpf_sock *sk = skb->sk;
28
29 if (!sk)
30 return -1;
31
32 sk = bpf_sk_fullsock(sk);
33 if (!sk)
34 return -1;
35
36 return bpf_kfunc_call_test2((struct sock *)sk, 1, 2);
37}
38
39SEC("tc")
40int kfunc_call_test1(struct __sk_buff *skb)
41{
42 struct bpf_sock *sk = skb->sk;
43 __u64 a = 1ULL << 32;
44 __u32 ret;
45
46 if (!sk)
47 return -1;
48
49 sk = bpf_sk_fullsock(sk);
50 if (!sk)
51 return -1;
52
53 a = bpf_kfunc_call_test1((struct sock *)sk, 1, a | 2, 3, a | 4);
54 ret = a >> 32; /* ret should be 2 */
55 ret += (__u32)a; /* ret should be 12 */
56
57 return ret;
58}
59
60SEC("tc")
61int kfunc_call_test_ref_btf_id(struct __sk_buff *skb)
62{
63 struct prog_test_ref_kfunc *pt;
64 unsigned long s = 0;
65 int ret = 0;
66
67 pt = bpf_kfunc_call_test_acquire(&s);
68 if (pt) {
69 if (pt->a != 42 || pt->b != 108)
70 ret = -1;
71 bpf_kfunc_call_test_release(pt);
72 }
73 return ret;
74}
75
76SEC("tc")
77int kfunc_call_test_pass(struct __sk_buff *skb)
78{
79 struct prog_test_pass1 p1 = {};
80 struct prog_test_pass2 p2 = {};
81 short a = 0;
82 __u64 b = 0;
83 long c = 0;
84 char d = 0;
85 int e = 0;
86
87 bpf_kfunc_call_test_pass_ctx(skb);
88 bpf_kfunc_call_test_pass1(&p1);
89 bpf_kfunc_call_test_pass2(&p2);
90
91 bpf_kfunc_call_test_mem_len_pass1(&a, sizeof(a));
92 bpf_kfunc_call_test_mem_len_pass1(&b, sizeof(b));
93 bpf_kfunc_call_test_mem_len_pass1(&c, sizeof(c));
94 bpf_kfunc_call_test_mem_len_pass1(&d, sizeof(d));
95 bpf_kfunc_call_test_mem_len_pass1(&e, sizeof(e));
96 bpf_kfunc_call_test_mem_len_fail2(&b, -1);
97
98 return 0;
99}
100
101struct syscall_test_args {
102 __u8 data[16];
103 size_t size;
104};
105
106SEC("syscall")
107int kfunc_syscall_test(struct syscall_test_args *args)
108{
109 const long size = args->size;
110
111 if (size > sizeof(args->data))
112 return -7; /* -E2BIG */
113
114 bpf_kfunc_call_test_mem_len_pass1(&args->data, sizeof(args->data));
115 bpf_kfunc_call_test_mem_len_pass1(&args->data, sizeof(*args));
116 bpf_kfunc_call_test_mem_len_pass1(&args->data, size);
117
118 return 0;
119}
120
121SEC("syscall")
122int kfunc_syscall_test_null(struct syscall_test_args *args)
123{
124 /* Must be called with args as a NULL pointer
125 * we do not check for it to have the verifier consider that
126 * the pointer might not be null, and so we can load it.
127 *
128 * So the following can not be added:
129 *
130 * if (args)
131 * return -22;
132 */
133
134 bpf_kfunc_call_test_mem_len_pass1(args, 0);
135
136 return 0;
137}
138
139SEC("tc")
140int kfunc_call_test_get_mem(struct __sk_buff *skb)
141{
142 struct prog_test_ref_kfunc *pt;
143 unsigned long s = 0;
144 int *p = NULL;
145 int ret = 0;
146
147 pt = bpf_kfunc_call_test_acquire(&s);
148 if (pt) {
149 p = bpf_kfunc_call_test_get_rdwr_mem(pt, 2 * sizeof(int));
150 if (p) {
151 p[0] = 42;
152 ret = p[1]; /* 108 */
153 } else {
154 ret = -1;
155 }
156
157 if (ret >= 0) {
158 p = bpf_kfunc_call_test_get_rdonly_mem(pt, 2 * sizeof(int));
159 if (p)
160 ret = p[0]; /* 42 */
161 else
162 ret = -1;
163 }
164
165 bpf_kfunc_call_test_release(pt);
166 }
167 return ret;
168}
169
170SEC("tc")
171int kfunc_call_test_static_unused_arg(struct __sk_buff *skb)
172{
173
174 u32 expected = 5, actual;
175
176 actual = bpf_kfunc_call_test_static_unused_arg(expected, 0xdeadbeef);
177 return actual != expected ? -1 : 0;
178}
179
180struct ctx_val {
181 struct bpf_testmod_ctx __kptr *ctx;
182};
183
184struct {
185 __uint(type, BPF_MAP_TYPE_ARRAY);
186 __uint(max_entries, 1);
187 __type(key, int);
188 __type(value, struct ctx_val);
189} ctx_map SEC(".maps");
190
191SEC("tc")
192int kfunc_call_ctx(struct __sk_buff *skb)
193{
194 struct bpf_testmod_ctx *ctx;
195 int err = 0;
196
197 ctx = bpf_testmod_ctx_create(&err);
198 if (!ctx && !err)
199 err = -1;
200 if (ctx) {
201 int key = 0;
202 struct ctx_val *ctx_val = bpf_map_lookup_elem(&ctx_map, &key);
203
204 /* Transfer ctx to map to be freed via implicit dtor call
205 * on cleanup.
206 */
207 if (ctx_val)
208 ctx = bpf_kptr_xchg(&ctx_val->ctx, ctx);
209 if (ctx) {
210 bpf_testmod_ctx_release(ctx);
211 err = -1;
212 }
213 }
214 return err;
215}
216
217char _license[] SEC("license") = "GPL";
1// SPDX-License-Identifier: GPL-2.0
2/* Copyright (c) 2021 Facebook */
3#include <vmlinux.h>
4#include <bpf/bpf_helpers.h>
5#include "../bpf_testmod/bpf_testmod_kfunc.h"
6
7SEC("tc")
8int kfunc_call_test4(struct __sk_buff *skb)
9{
10 struct bpf_sock *sk = skb->sk;
11 long tmp;
12
13 if (!sk)
14 return -1;
15
16 sk = bpf_sk_fullsock(sk);
17 if (!sk)
18 return -1;
19
20 tmp = bpf_kfunc_call_test4(-3, -30, -200, -1000);
21 return (tmp >> 32) + tmp;
22}
23
24SEC("tc")
25int kfunc_call_test2(struct __sk_buff *skb)
26{
27 struct bpf_sock *sk = skb->sk;
28
29 if (!sk)
30 return -1;
31
32 sk = bpf_sk_fullsock(sk);
33 if (!sk)
34 return -1;
35
36 return bpf_kfunc_call_test2((struct sock *)sk, 1, 2);
37}
38
39SEC("tc")
40int kfunc_call_test1(struct __sk_buff *skb)
41{
42 struct bpf_sock *sk = skb->sk;
43 __u64 a = 1ULL << 32;
44 __u32 ret;
45
46 if (!sk)
47 return -1;
48
49 sk = bpf_sk_fullsock(sk);
50 if (!sk)
51 return -1;
52
53 a = bpf_kfunc_call_test1((struct sock *)sk, 1, a | 2, 3, a | 4);
54 ret = a >> 32; /* ret should be 2 */
55 ret += (__u32)a; /* ret should be 12 */
56
57 return ret;
58}
59
60SEC("tc")
61int kfunc_call_test_ref_btf_id(struct __sk_buff *skb)
62{
63 struct prog_test_ref_kfunc *pt;
64 unsigned long s = 0;
65 int ret = 0;
66
67 pt = bpf_kfunc_call_test_acquire(&s);
68 if (pt) {
69 if (pt->a != 42 || pt->b != 108)
70 ret = -1;
71 bpf_kfunc_call_test_release(pt);
72 }
73 return ret;
74}
75
76SEC("tc")
77int kfunc_call_test_pass(struct __sk_buff *skb)
78{
79 struct prog_test_pass1 p1 = {};
80 struct prog_test_pass2 p2 = {};
81 short a = 0;
82 __u64 b = 0;
83 long c = 0;
84 char d = 0;
85 int e = 0;
86
87 bpf_kfunc_call_test_pass_ctx(skb);
88 bpf_kfunc_call_test_pass1(&p1);
89 bpf_kfunc_call_test_pass2(&p2);
90
91 bpf_kfunc_call_test_mem_len_pass1(&a, sizeof(a));
92 bpf_kfunc_call_test_mem_len_pass1(&b, sizeof(b));
93 bpf_kfunc_call_test_mem_len_pass1(&c, sizeof(c));
94 bpf_kfunc_call_test_mem_len_pass1(&d, sizeof(d));
95 bpf_kfunc_call_test_mem_len_pass1(&e, sizeof(e));
96 bpf_kfunc_call_test_mem_len_fail2(&b, -1);
97
98 return 0;
99}
100
101struct syscall_test_args {
102 __u8 data[16];
103 size_t size;
104};
105
106SEC("syscall")
107int kfunc_syscall_test(struct syscall_test_args *args)
108{
109 const long size = args->size;
110
111 if (size > sizeof(args->data))
112 return -7; /* -E2BIG */
113
114 bpf_kfunc_call_test_mem_len_pass1(&args->data, sizeof(args->data));
115 bpf_kfunc_call_test_mem_len_pass1(&args->data, sizeof(*args));
116 bpf_kfunc_call_test_mem_len_pass1(&args->data, size);
117
118 return 0;
119}
120
121SEC("syscall")
122int kfunc_syscall_test_null(struct syscall_test_args *args)
123{
124 /* Must be called with args as a NULL pointer
125 * we do not check for it to have the verifier consider that
126 * the pointer might not be null, and so we can load it.
127 *
128 * So the following can not be added:
129 *
130 * if (args)
131 * return -22;
132 */
133
134 bpf_kfunc_call_test_mem_len_pass1(args, 0);
135
136 return 0;
137}
138
139SEC("tc")
140int kfunc_call_test_get_mem(struct __sk_buff *skb)
141{
142 struct prog_test_ref_kfunc *pt;
143 unsigned long s = 0;
144 int *p = NULL;
145 int ret = 0;
146
147 pt = bpf_kfunc_call_test_acquire(&s);
148 if (pt) {
149 p = bpf_kfunc_call_test_get_rdwr_mem(pt, 2 * sizeof(int));
150 if (p) {
151 p[0] = 42;
152 ret = p[1]; /* 108 */
153 } else {
154 ret = -1;
155 }
156
157 if (ret >= 0) {
158 p = bpf_kfunc_call_test_get_rdonly_mem(pt, 2 * sizeof(int));
159 if (p)
160 ret = p[0]; /* 42 */
161 else
162 ret = -1;
163 }
164
165 bpf_kfunc_call_test_release(pt);
166 }
167 return ret;
168}
169
170SEC("tc")
171int kfunc_call_test_static_unused_arg(struct __sk_buff *skb)
172{
173
174 u32 expected = 5, actual;
175
176 actual = bpf_kfunc_call_test_static_unused_arg(expected, 0xdeadbeef);
177 return actual != expected ? -1 : 0;
178}
179
180char _license[] SEC("license") = "GPL";