kbuild: Build kernel module BTFs if BTF is enabled and pahole supports it
[linux-2.6-block.git] / include / linux / bpf.h
CommitLineData
25763b3c 1/* SPDX-License-Identifier: GPL-2.0-only */
99c55f7d 2/* Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com
99c55f7d
AS
3 */
4#ifndef _LINUX_BPF_H
5#define _LINUX_BPF_H 1
6
7#include <uapi/linux/bpf.h>
74451e66 8
99c55f7d 9#include <linux/workqueue.h>
db20fd2b 10#include <linux/file.h>
b121d1e7 11#include <linux/percpu.h>
002245cc 12#include <linux/err.h>
74451e66 13#include <linux/rbtree_latch.h>
d6e1e46f 14#include <linux/numa.h>
fc970227 15#include <linux/mm_types.h>
ab3f0063 16#include <linux/wait.h>
492ecee8 17#include <linux/u64_stats_sync.h>
fec56f58
AS
18#include <linux/refcount.h>
19#include <linux/mutex.h>
85d33df3 20#include <linux/module.h>
bfea9a85 21#include <linux/kallsyms.h>
2c78ee89 22#include <linux/capability.h>
99c55f7d 23
cae1927c 24struct bpf_verifier_env;
9e15db66 25struct bpf_verifier_log;
3b1efb19 26struct perf_event;
174a79ff 27struct bpf_prog;
da765a2f 28struct bpf_prog_aux;
99c55f7d 29struct bpf_map;
4f738adb 30struct sock;
a26ca7c9 31struct seq_file;
1b2b234b 32struct btf;
e8d2bec0 33struct btf_type;
3dec541b 34struct exception_table_entry;
ae24345d 35struct seq_operations;
f9c79272 36struct bpf_iter_aux_info;
f836a56e
KS
37struct bpf_local_storage;
38struct bpf_local_storage_map;
99c55f7d 39
1b9ed84e
QM
40extern struct idr btf_idr;
41extern spinlock_t btf_idr_lock;
42
f9c79272
YS
43typedef int (*bpf_iter_init_seq_priv_t)(void *private_data,
44 struct bpf_iter_aux_info *aux);
14fc6bd6
YS
45typedef void (*bpf_iter_fini_seq_priv_t)(void *private_data);
46struct bpf_iter_seq_info {
47 const struct seq_operations *seq_ops;
48 bpf_iter_init_seq_priv_t init_seq_private;
49 bpf_iter_fini_seq_priv_t fini_seq_private;
50 u32 seq_priv_size;
51};
52
99c55f7d
AS
53/* map is generic key/value storage optionally accesible by eBPF programs */
54struct bpf_map_ops {
55 /* funcs callable from userspace (via syscall) */
1110f3a9 56 int (*map_alloc_check)(union bpf_attr *attr);
99c55f7d 57 struct bpf_map *(*map_alloc)(union bpf_attr *attr);
61d1b6a4
DB
58 void (*map_release)(struct bpf_map *map, struct file *map_file);
59 void (*map_free)(struct bpf_map *map);
db20fd2b 60 int (*map_get_next_key)(struct bpf_map *map, void *key, void *next_key);
ba6b8de4 61 void (*map_release_uref)(struct bpf_map *map);
c6110222 62 void *(*map_lookup_elem_sys_only)(struct bpf_map *map, void *key);
cb4d03ab
BV
63 int (*map_lookup_batch)(struct bpf_map *map, const union bpf_attr *attr,
64 union bpf_attr __user *uattr);
05799638
YS
65 int (*map_lookup_and_delete_batch)(struct bpf_map *map,
66 const union bpf_attr *attr,
67 union bpf_attr __user *uattr);
aa2e93b8
BV
68 int (*map_update_batch)(struct bpf_map *map, const union bpf_attr *attr,
69 union bpf_attr __user *uattr);
70 int (*map_delete_batch)(struct bpf_map *map, const union bpf_attr *attr,
71 union bpf_attr __user *uattr);
db20fd2b
AS
72
73 /* funcs callable from userspace and from eBPF programs */
74 void *(*map_lookup_elem)(struct bpf_map *map, void *key);
3274f520 75 int (*map_update_elem)(struct bpf_map *map, void *key, void *value, u64 flags);
db20fd2b 76 int (*map_delete_elem)(struct bpf_map *map, void *key);
f1a2e44a
MV
77 int (*map_push_elem)(struct bpf_map *map, void *value, u64 flags);
78 int (*map_pop_elem)(struct bpf_map *map, void *value);
79 int (*map_peek_elem)(struct bpf_map *map, void *value);
2a36f0b9
WN
80
81 /* funcs called by prog_array and perf_event_array map */
d056a788
DB
82 void *(*map_fd_get_ptr)(struct bpf_map *map, struct file *map_file,
83 int fd);
84 void (*map_fd_put_ptr)(void *ptr);
4a8f87e6 85 int (*map_gen_lookup)(struct bpf_map *map, struct bpf_insn *insn_buf);
14dc6f04 86 u32 (*map_fd_sys_lookup_elem)(void *ptr);
a26ca7c9
MKL
87 void (*map_seq_show_elem)(struct bpf_map *map, void *key,
88 struct seq_file *m);
e8d2bec0 89 int (*map_check_btf)(const struct bpf_map *map,
1b2b234b 90 const struct btf *btf,
e8d2bec0
DB
91 const struct btf_type *key_type,
92 const struct btf_type *value_type);
d8eca5bb 93
da765a2f
DB
94 /* Prog poke tracking helpers. */
95 int (*map_poke_track)(struct bpf_map *map, struct bpf_prog_aux *aux);
96 void (*map_poke_untrack)(struct bpf_map *map, struct bpf_prog_aux *aux);
97 void (*map_poke_run)(struct bpf_map *map, u32 key, struct bpf_prog *old,
98 struct bpf_prog *new);
99
d8eca5bb
DB
100 /* Direct value access helpers. */
101 int (*map_direct_value_addr)(const struct bpf_map *map,
102 u64 *imm, u32 off);
103 int (*map_direct_value_meta)(const struct bpf_map *map,
104 u64 imm, u32 *off);
fc970227 105 int (*map_mmap)(struct bpf_map *map, struct vm_area_struct *vma);
457f4436
AN
106 __poll_t (*map_poll)(struct bpf_map *map, struct file *filp,
107 struct poll_table_struct *pts);
41c48f3a 108
f836a56e
KS
109 /* Functions called by bpf_local_storage maps */
110 int (*map_local_storage_charge)(struct bpf_local_storage_map *smap,
111 void *owner, u32 size);
112 void (*map_local_storage_uncharge)(struct bpf_local_storage_map *smap,
113 void *owner, u32 size);
114 struct bpf_local_storage __rcu ** (*map_owner_storage_ptr)(void *owner);
f4d05259
MKL
115
116 /* map_meta_equal must be implemented for maps that can be
117 * used as an inner map. It is a runtime check to ensure
118 * an inner map can be inserted to an outer map.
119 *
120 * Some properties of the inner map has been used during the
121 * verification time. When inserting an inner map at the runtime,
122 * map_meta_equal has to ensure the inserting map has the same
123 * properties that the verifier has used earlier.
124 */
125 bool (*map_meta_equal)(const struct bpf_map *meta0,
126 const struct bpf_map *meta1);
127
41c48f3a
AI
128 /* BTF name and id of struct allocated by map_alloc */
129 const char * const map_btf_name;
130 int *map_btf_id;
a5cbe05a
YS
131
132 /* bpf_iter info used to open a seq_file */
133 const struct bpf_iter_seq_info *iter_seq_info;
99c55f7d
AS
134};
135
3539b96e
RG
136struct bpf_map_memory {
137 u32 pages;
138 struct user_struct *user;
139};
140
99c55f7d 141struct bpf_map {
a26ca7c9 142 /* The first two cachelines with read-mostly members of which some
be95a845
DB
143 * are also accessed in fast-path (e.g. ops, max_entries).
144 */
145 const struct bpf_map_ops *ops ____cacheline_aligned;
146 struct bpf_map *inner_map_meta;
147#ifdef CONFIG_SECURITY
148 void *security;
149#endif
99c55f7d
AS
150 enum bpf_map_type map_type;
151 u32 key_size;
152 u32 value_size;
153 u32 max_entries;
6c905981 154 u32 map_flags;
d83525ca 155 int spin_lock_off; /* >=0 valid offset, <0 error */
f3f1c054 156 u32 id;
96eabe7a 157 int numa_node;
9b2cf328
MKL
158 u32 btf_key_type_id;
159 u32 btf_value_type_id;
a26ca7c9 160 struct btf *btf;
3539b96e 161 struct bpf_map_memory memory;
fc970227 162 char name[BPF_OBJ_NAME_LEN];
85d33df3 163 u32 btf_vmlinux_value_type_id;
2c78ee89 164 bool bypass_spec_v1;
fc970227
AN
165 bool frozen; /* write-once; write-protected by freeze_mutex */
166 /* 22 bytes hole */
be95a845 167
a26ca7c9 168 /* The 3rd and 4th cacheline with misc members to avoid false sharing
be95a845
DB
169 * particularly with refcounting.
170 */
1e0bd5a0
AN
171 atomic64_t refcnt ____cacheline_aligned;
172 atomic64_t usercnt;
be95a845 173 struct work_struct work;
fc970227
AN
174 struct mutex freeze_mutex;
175 u64 writecnt; /* writable mmap cnt; protected by freeze_mutex */
99c55f7d
AS
176};
177
d83525ca
AS
178static inline bool map_value_has_spin_lock(const struct bpf_map *map)
179{
180 return map->spin_lock_off >= 0;
181}
182
183static inline void check_and_init_map_lock(struct bpf_map *map, void *dst)
184{
185 if (likely(!map_value_has_spin_lock(map)))
186 return;
187 *(struct bpf_spin_lock *)(dst + map->spin_lock_off) =
188 (struct bpf_spin_lock){};
189}
190
191/* copy everything but bpf_spin_lock */
192static inline void copy_map_value(struct bpf_map *map, void *dst, void *src)
193{
194 if (unlikely(map_value_has_spin_lock(map))) {
195 u32 off = map->spin_lock_off;
196
197 memcpy(dst, src, off);
198 memcpy(dst + off + sizeof(struct bpf_spin_lock),
199 src + off + sizeof(struct bpf_spin_lock),
200 map->value_size - off - sizeof(struct bpf_spin_lock));
201 } else {
202 memcpy(dst, src, map->value_size);
203 }
204}
96049f3a
AS
205void copy_map_value_locked(struct bpf_map *map, void *dst, void *src,
206 bool lock_src);
8e7ae251 207int bpf_obj_name_cpy(char *dst, const char *src, unsigned int size);
d83525ca 208
602144c2 209struct bpf_offload_dev;
a3884572
JK
210struct bpf_offloaded_map;
211
212struct bpf_map_dev_ops {
213 int (*map_get_next_key)(struct bpf_offloaded_map *map,
214 void *key, void *next_key);
215 int (*map_lookup_elem)(struct bpf_offloaded_map *map,
216 void *key, void *value);
217 int (*map_update_elem)(struct bpf_offloaded_map *map,
218 void *key, void *value, u64 flags);
219 int (*map_delete_elem)(struct bpf_offloaded_map *map, void *key);
220};
221
222struct bpf_offloaded_map {
223 struct bpf_map map;
224 struct net_device *netdev;
225 const struct bpf_map_dev_ops *dev_ops;
226 void *dev_priv;
227 struct list_head offloads;
228};
229
230static inline struct bpf_offloaded_map *map_to_offmap(struct bpf_map *map)
231{
232 return container_of(map, struct bpf_offloaded_map, map);
233}
234
0cd3cbed
JK
235static inline bool bpf_map_offload_neutral(const struct bpf_map *map)
236{
237 return map->map_type == BPF_MAP_TYPE_PERF_EVENT_ARRAY;
238}
239
a26ca7c9
MKL
240static inline bool bpf_map_support_seq_show(const struct bpf_map *map)
241{
85d33df3
MKL
242 return (map->btf_value_type_id || map->btf_vmlinux_value_type_id) &&
243 map->ops->map_seq_show_elem;
a26ca7c9
MKL
244}
245
e8d2bec0 246int map_check_no_btf(const struct bpf_map *map,
1b2b234b 247 const struct btf *btf,
e8d2bec0
DB
248 const struct btf_type *key_type,
249 const struct btf_type *value_type);
250
f4d05259
MKL
251bool bpf_map_meta_equal(const struct bpf_map *meta0,
252 const struct bpf_map *meta1);
253
a3884572
JK
254extern const struct bpf_map_ops bpf_map_offload_ops;
255
17a52670
AS
256/* function argument constraints */
257enum bpf_arg_type {
80f1d68c 258 ARG_DONTCARE = 0, /* unused argument in helper function */
17a52670
AS
259
260 /* the following constraints used to prototype
261 * bpf_map_lookup/update/delete_elem() functions
262 */
263 ARG_CONST_MAP_PTR, /* const argument used as pointer to bpf_map */
264 ARG_PTR_TO_MAP_KEY, /* pointer to stack used as map key */
265 ARG_PTR_TO_MAP_VALUE, /* pointer to stack used as map value */
2ea864c5 266 ARG_PTR_TO_UNINIT_MAP_VALUE, /* pointer to valid memory used to store a map value */
6ac99e8f 267 ARG_PTR_TO_MAP_VALUE_OR_NULL, /* pointer to stack used as map value or NULL */
17a52670
AS
268
269 /* the following constraints used to prototype bpf_memcmp() and other
270 * functions that access data on eBPF program stack
271 */
39f19ebb 272 ARG_PTR_TO_MEM, /* pointer to valid memory (stack, packet, map value) */
db1ac496 273 ARG_PTR_TO_MEM_OR_NULL, /* pointer to valid memory or NULL */
39f19ebb
AS
274 ARG_PTR_TO_UNINIT_MEM, /* pointer to memory does not need to be initialized,
275 * helper function must fill all bytes or clear
276 * them in error case.
435faee1
DB
277 */
278
39f19ebb
AS
279 ARG_CONST_SIZE, /* number of bytes accessed from memory */
280 ARG_CONST_SIZE_OR_ZERO, /* number of bytes accessed from memory or 0 */
80f1d68c 281
608cd71a 282 ARG_PTR_TO_CTX, /* pointer to context */
f318903c 283 ARG_PTR_TO_CTX_OR_NULL, /* pointer to context or NULL */
80f1d68c 284 ARG_ANYTHING, /* any (initialized) argument is ok */
d83525ca 285 ARG_PTR_TO_SPIN_LOCK, /* pointer to bpf_spin_lock */
46f8bc92 286 ARG_PTR_TO_SOCK_COMMON, /* pointer to sock_common */
57c3bb72
AI
287 ARG_PTR_TO_INT, /* pointer to int */
288 ARG_PTR_TO_LONG, /* pointer to long */
6ac99e8f 289 ARG_PTR_TO_SOCKET, /* pointer to bpf_sock (fullsock) */
e9ddbb77 290 ARG_PTR_TO_SOCKET_OR_NULL, /* pointer to bpf_sock (fullsock) or NULL */
a7658e1a 291 ARG_PTR_TO_BTF_ID, /* pointer to in-kernel struct */
457f4436
AN
292 ARG_PTR_TO_ALLOC_MEM, /* pointer to dynamically allocated memory */
293 ARG_PTR_TO_ALLOC_MEM_OR_NULL, /* pointer to dynamically allocated memory or NULL */
294 ARG_CONST_ALLOC_SIZE_OR_ZERO, /* number of allocated bytes requested */
1df8f55a 295 ARG_PTR_TO_BTF_ID_SOCK_COMMON, /* pointer to in-kernel sock_common or bpf-mirrored bpf_sock */
eaa6bcb7 296 ARG_PTR_TO_PERCPU_BTF_ID, /* pointer to in-kernel percpu type */
f79e7ea5 297 __BPF_ARG_TYPE_MAX,
17a52670
AS
298};
299
300/* type of values returned from helper functions */
301enum bpf_return_type {
302 RET_INTEGER, /* function returns integer */
303 RET_VOID, /* function doesn't return anything */
3e6a4b3e 304 RET_PTR_TO_MAP_VALUE, /* returns a pointer to map elem value */
17a52670 305 RET_PTR_TO_MAP_VALUE_OR_NULL, /* returns a pointer to map elem value or NULL */
c64b7983 306 RET_PTR_TO_SOCKET_OR_NULL, /* returns a pointer to a socket or NULL */
655a51e5 307 RET_PTR_TO_TCP_SOCK_OR_NULL, /* returns a pointer to a tcp_sock or NULL */
85a51f8c 308 RET_PTR_TO_SOCK_COMMON_OR_NULL, /* returns a pointer to a sock_common or NULL */
457f4436 309 RET_PTR_TO_ALLOC_MEM_OR_NULL, /* returns a pointer to dynamically allocated memory or NULL */
af7ec138 310 RET_PTR_TO_BTF_ID_OR_NULL, /* returns a pointer to a btf_id or NULL */
eaa6bcb7 311 RET_PTR_TO_MEM_OR_BTF_ID_OR_NULL, /* returns a pointer to a valid memory or a btf_id or NULL */
63d9b80d 312 RET_PTR_TO_MEM_OR_BTF_ID, /* returns a pointer to a valid memory or a btf_id */
3ca1032a 313 RET_PTR_TO_BTF_ID, /* returns a pointer to a btf_id */
17a52670
AS
314};
315
09756af4
AS
316/* eBPF function prototype used by verifier to allow BPF_CALLs from eBPF programs
317 * to in-kernel helper functions and for adjusting imm32 field in BPF_CALL
318 * instructions after verifying
319 */
320struct bpf_func_proto {
321 u64 (*func)(u64 r1, u64 r2, u64 r3, u64 r4, u64 r5);
322 bool gpl_only;
36bbef52 323 bool pkt_access;
17a52670 324 enum bpf_return_type ret_type;
a7658e1a
AS
325 union {
326 struct {
327 enum bpf_arg_type arg1_type;
328 enum bpf_arg_type arg2_type;
329 enum bpf_arg_type arg3_type;
330 enum bpf_arg_type arg4_type;
331 enum bpf_arg_type arg5_type;
332 };
333 enum bpf_arg_type arg_type[5];
334 };
9436ef6e
LB
335 union {
336 struct {
337 u32 *arg1_btf_id;
338 u32 *arg2_btf_id;
339 u32 *arg3_btf_id;
340 u32 *arg4_btf_id;
341 u32 *arg5_btf_id;
342 };
343 u32 *arg_btf_id[5];
344 };
af7ec138 345 int *ret_btf_id; /* return value btf_id */
eae2e83e 346 bool (*allowed)(const struct bpf_prog *prog);
17a52670
AS
347};
348
349/* bpf_context is intentionally undefined structure. Pointer to bpf_context is
350 * the first argument to eBPF programs.
351 * For socket filters: 'struct bpf_context *' == 'struct sk_buff *'
352 */
353struct bpf_context;
354
355enum bpf_access_type {
356 BPF_READ = 1,
357 BPF_WRITE = 2
09756af4
AS
358};
359
19de99f7 360/* types of values stored in eBPF registers */
f1174f77
EC
361/* Pointer types represent:
362 * pointer
363 * pointer + imm
364 * pointer + (u16) var
365 * pointer + (u16) var + imm
366 * if (range > 0) then [ptr, ptr + range - off) is safe to access
367 * if (id > 0) means that some 'var' was added
368 * if (off > 0) means that 'imm' was added
369 */
19de99f7
AS
370enum bpf_reg_type {
371 NOT_INIT = 0, /* nothing was written into register */
f1174f77 372 SCALAR_VALUE, /* reg doesn't contain a valid pointer */
19de99f7
AS
373 PTR_TO_CTX, /* reg points to bpf_context */
374 CONST_PTR_TO_MAP, /* reg points to struct bpf_map */
375 PTR_TO_MAP_VALUE, /* reg points to map element value */
376 PTR_TO_MAP_VALUE_OR_NULL,/* points to map elem value or NULL */
f1174f77 377 PTR_TO_STACK, /* reg == frame_pointer + offset */
de8f3a83 378 PTR_TO_PACKET_META, /* skb->data - meta_len */
f1174f77 379 PTR_TO_PACKET, /* reg points to skb->data */
19de99f7 380 PTR_TO_PACKET_END, /* skb->data + headlen */
d58e468b 381 PTR_TO_FLOW_KEYS, /* reg points to bpf_flow_keys */
c64b7983
JS
382 PTR_TO_SOCKET, /* reg points to struct bpf_sock */
383 PTR_TO_SOCKET_OR_NULL, /* reg points to struct bpf_sock or NULL */
46f8bc92
MKL
384 PTR_TO_SOCK_COMMON, /* reg points to sock_common */
385 PTR_TO_SOCK_COMMON_OR_NULL, /* reg points to sock_common or NULL */
655a51e5
MKL
386 PTR_TO_TCP_SOCK, /* reg points to struct tcp_sock */
387 PTR_TO_TCP_SOCK_OR_NULL, /* reg points to struct tcp_sock or NULL */
9df1c28b 388 PTR_TO_TP_BUFFER, /* reg points to a writable raw tp's buffer */
fada7fdc 389 PTR_TO_XDP_SOCK, /* reg points to struct xdp_sock */
ba5f4cfe
JF
390 /* PTR_TO_BTF_ID points to a kernel struct that does not need
391 * to be null checked by the BPF program. This does not imply the
392 * pointer is _not_ null and in practice this can easily be a null
393 * pointer when reading pointer chains. The assumption is program
394 * context will handle null pointer dereference typically via fault
395 * handling. The verifier must keep this in mind and can make no
396 * assumptions about null or non-null when doing branch analysis.
397 * Further, when passed into helpers the helpers can not, without
398 * additional context, assume the value is non-null.
399 */
400 PTR_TO_BTF_ID,
401 /* PTR_TO_BTF_ID_OR_NULL points to a kernel struct that has not
402 * been checked for null. Used primarily to inform the verifier
403 * an explicit null check is required for this struct.
404 */
405 PTR_TO_BTF_ID_OR_NULL,
457f4436
AN
406 PTR_TO_MEM, /* reg points to valid memory region */
407 PTR_TO_MEM_OR_NULL, /* reg points to valid memory region or NULL */
afbf21dc
YS
408 PTR_TO_RDONLY_BUF, /* reg points to a readonly buffer */
409 PTR_TO_RDONLY_BUF_OR_NULL, /* reg points to a readonly buffer or NULL */
410 PTR_TO_RDWR_BUF, /* reg points to a read/write buffer */
411 PTR_TO_RDWR_BUF_OR_NULL, /* reg points to a read/write buffer or NULL */
eaa6bcb7 412 PTR_TO_PERCPU_BTF_ID, /* reg points to a percpu kernel variable */
19de99f7
AS
413};
414
23994631
YS
415/* The information passed from prog-specific *_is_valid_access
416 * back to the verifier.
417 */
418struct bpf_insn_access_aux {
419 enum bpf_reg_type reg_type;
9e15db66
AS
420 union {
421 int ctx_field_size;
422 u32 btf_id;
423 };
424 struct bpf_verifier_log *log; /* for verbose logs */
23994631
YS
425};
426
f96da094
DB
427static inline void
428bpf_ctx_record_field_size(struct bpf_insn_access_aux *aux, u32 size)
429{
430 aux->ctx_field_size = size;
431}
432
7de16e3a
JK
433struct bpf_prog_ops {
434 int (*test_run)(struct bpf_prog *prog, const union bpf_attr *kattr,
435 union bpf_attr __user *uattr);
436};
437
09756af4
AS
438struct bpf_verifier_ops {
439 /* return eBPF function prototype for verification */
5e43f899
AI
440 const struct bpf_func_proto *
441 (*get_func_proto)(enum bpf_func_id func_id,
442 const struct bpf_prog *prog);
17a52670
AS
443
444 /* return true if 'size' wide access at offset 'off' within bpf_context
445 * with 'type' (read or write) is allowed
446 */
19de99f7 447 bool (*is_valid_access)(int off, int size, enum bpf_access_type type,
5e43f899 448 const struct bpf_prog *prog,
23994631 449 struct bpf_insn_access_aux *info);
36bbef52
DB
450 int (*gen_prologue)(struct bpf_insn *insn, bool direct_write,
451 const struct bpf_prog *prog);
e0cea7ce
DB
452 int (*gen_ld_abs)(const struct bpf_insn *orig,
453 struct bpf_insn *insn_buf);
6b8cc1d1
DB
454 u32 (*convert_ctx_access)(enum bpf_access_type type,
455 const struct bpf_insn *src,
456 struct bpf_insn *dst,
f96da094 457 struct bpf_prog *prog, u32 *target_size);
27ae7997
MKL
458 int (*btf_struct_access)(struct bpf_verifier_log *log,
459 const struct btf_type *t, int off, int size,
460 enum bpf_access_type atype,
461 u32 *next_btf_id);
09756af4
AS
462};
463
cae1927c 464struct bpf_prog_offload_ops {
08ca90af 465 /* verifier basic callbacks */
cae1927c
JK
466 int (*insn_hook)(struct bpf_verifier_env *env,
467 int insn_idx, int prev_insn_idx);
c941ce9c 468 int (*finalize)(struct bpf_verifier_env *env);
08ca90af
JK
469 /* verifier optimization callbacks (called after .finalize) */
470 int (*replace_insn)(struct bpf_verifier_env *env, u32 off,
471 struct bpf_insn *insn);
472 int (*remove_insns)(struct bpf_verifier_env *env, u32 off, u32 cnt);
473 /* program management callbacks */
16a8cb5c
QM
474 int (*prepare)(struct bpf_prog *prog);
475 int (*translate)(struct bpf_prog *prog);
eb911947 476 void (*destroy)(struct bpf_prog *prog);
cae1927c
JK
477};
478
0a9c1991 479struct bpf_prog_offload {
ab3f0063
JK
480 struct bpf_prog *prog;
481 struct net_device *netdev;
341b3e7b 482 struct bpf_offload_dev *offdev;
ab3f0063
JK
483 void *dev_priv;
484 struct list_head offloads;
485 bool dev_state;
08ca90af 486 bool opt_failed;
fcfb126d
JW
487 void *jited_image;
488 u32 jited_len;
ab3f0063
JK
489};
490
8bad74f9
RG
491enum bpf_cgroup_storage_type {
492 BPF_CGROUP_STORAGE_SHARED,
b741f163 493 BPF_CGROUP_STORAGE_PERCPU,
8bad74f9
RG
494 __BPF_CGROUP_STORAGE_MAX
495};
496
497#define MAX_BPF_CGROUP_STORAGE_TYPE __BPF_CGROUP_STORAGE_MAX
498
f1b9509c
AS
499/* The longest tracepoint has 12 args.
500 * See include/trace/bpf_probe.h
501 */
502#define MAX_BPF_FUNC_ARGS 12
503
492ecee8
AS
504struct bpf_prog_stats {
505 u64 cnt;
506 u64 nsecs;
507 struct u64_stats_sync syncp;
84a081f6 508} __aligned(2 * sizeof(u64));
492ecee8 509
fec56f58
AS
510struct btf_func_model {
511 u8 ret_size;
512 u8 nr_args;
513 u8 arg_size[MAX_BPF_FUNC_ARGS];
514};
515
516/* Restore arguments before returning from trampoline to let original function
517 * continue executing. This flag is used for fentry progs when there are no
518 * fexit progs.
519 */
520#define BPF_TRAMP_F_RESTORE_REGS BIT(0)
521/* Call original function after fentry progs, but before fexit progs.
522 * Makes sense for fentry/fexit, normal calls and indirect calls.
523 */
524#define BPF_TRAMP_F_CALL_ORIG BIT(1)
525/* Skip current frame and return to parent. Makes sense for fentry/fexit
526 * programs only. Should not be used with normal calls and indirect calls.
527 */
528#define BPF_TRAMP_F_SKIP_FRAME BIT(2)
529
88fd9e53
KS
530/* Each call __bpf_prog_enter + call bpf_func + call __bpf_prog_exit is ~50
531 * bytes on x86. Pick a number to fit into BPF_IMAGE_SIZE / 2
532 */
533#define BPF_MAX_TRAMP_PROGS 40
534
535struct bpf_tramp_progs {
536 struct bpf_prog *progs[BPF_MAX_TRAMP_PROGS];
537 int nr_progs;
538};
539
fec56f58
AS
540/* Different use cases for BPF trampoline:
541 * 1. replace nop at the function entry (kprobe equivalent)
542 * flags = BPF_TRAMP_F_RESTORE_REGS
543 * fentry = a set of programs to run before returning from trampoline
544 *
545 * 2. replace nop at the function entry (kprobe + kretprobe equivalent)
546 * flags = BPF_TRAMP_F_CALL_ORIG | BPF_TRAMP_F_SKIP_FRAME
547 * orig_call = fentry_ip + MCOUNT_INSN_SIZE
548 * fentry = a set of program to run before calling original function
549 * fexit = a set of program to run after original function
550 *
551 * 3. replace direct call instruction anywhere in the function body
552 * or assign a function pointer for indirect call (like tcp_congestion_ops->cong_avoid)
553 * With flags = 0
554 * fentry = a set of programs to run before returning from trampoline
555 * With flags = BPF_TRAMP_F_CALL_ORIG
556 * orig_call = original callback addr or direct function addr
557 * fentry = a set of program to run before calling original function
558 * fexit = a set of program to run after original function
559 */
85d33df3
MKL
560int arch_prepare_bpf_trampoline(void *image, void *image_end,
561 const struct btf_func_model *m, u32 flags,
88fd9e53 562 struct bpf_tramp_progs *tprogs,
fec56f58
AS
563 void *orig_call);
564/* these two functions are called from generated trampoline */
565u64 notrace __bpf_prog_enter(void);
566void notrace __bpf_prog_exit(struct bpf_prog *prog, u64 start);
1e6c62a8
AS
567void notrace __bpf_prog_enter_sleepable(void);
568void notrace __bpf_prog_exit_sleepable(void);
fec56f58 569
535911c8
JO
570struct bpf_ksym {
571 unsigned long start;
572 unsigned long end;
bfea9a85 573 char name[KSYM_NAME_LEN];
ecb60d1c 574 struct list_head lnode;
ca4424c9 575 struct latch_tree_node tnode;
cbd76f8d 576 bool prog;
535911c8
JO
577};
578
fec56f58
AS
579enum bpf_tramp_prog_type {
580 BPF_TRAMP_FENTRY,
581 BPF_TRAMP_FEXIT,
ae240823 582 BPF_TRAMP_MODIFY_RETURN,
be8704ff
AS
583 BPF_TRAMP_MAX,
584 BPF_TRAMP_REPLACE, /* more than MAX */
fec56f58
AS
585};
586
587struct bpf_trampoline {
588 /* hlist for trampoline_table */
589 struct hlist_node hlist;
590 /* serializes access to fields of this trampoline */
591 struct mutex mutex;
592 refcount_t refcnt;
593 u64 key;
594 struct {
595 struct btf_func_model model;
596 void *addr;
b91e014f 597 bool ftrace_managed;
fec56f58 598 } func;
be8704ff
AS
599 /* if !NULL this is BPF_PROG_TYPE_EXT program that extends another BPF
600 * program by replacing one of its functions. func.addr is the address
601 * of the function it replaced.
602 */
603 struct bpf_prog *extension_prog;
fec56f58
AS
604 /* list of BPF programs using this trampoline */
605 struct hlist_head progs_hlist[BPF_TRAMP_MAX];
606 /* Number of attached programs. A counter per kind. */
607 int progs_cnt[BPF_TRAMP_MAX];
608 /* Executable image of trampoline */
609 void *image;
610 u64 selector;
a108f7dc 611 struct bpf_ksym ksym;
fec56f58 612};
75ccbef6 613
f7b12b6f
THJ
614struct bpf_attach_target_info {
615 struct btf_func_model fmodel;
616 long tgt_addr;
617 const char *tgt_name;
618 const struct btf_type *tgt_type;
619};
620
116eb788 621#define BPF_DISPATCHER_MAX 48 /* Fits in 2048B */
75ccbef6
BT
622
623struct bpf_dispatcher_prog {
624 struct bpf_prog *prog;
625 refcount_t users;
626};
627
628struct bpf_dispatcher {
629 /* dispatcher mutex */
630 struct mutex mutex;
631 void *func;
632 struct bpf_dispatcher_prog progs[BPF_DISPATCHER_MAX];
633 int num_progs;
634 void *image;
635 u32 image_off;
517b75e4 636 struct bpf_ksym ksym;
75ccbef6
BT
637};
638
6a64037d 639static __always_inline unsigned int bpf_dispatcher_nop_func(
7e6897f9
BT
640 const void *ctx,
641 const struct bpf_insn *insnsi,
642 unsigned int (*bpf_func)(const void *,
643 const struct bpf_insn *))
644{
645 return bpf_func(ctx, insnsi);
646}
fec56f58 647#ifdef CONFIG_BPF_JIT
3aac1ead
THJ
648int bpf_trampoline_link_prog(struct bpf_prog *prog, struct bpf_trampoline *tr);
649int bpf_trampoline_unlink_prog(struct bpf_prog *prog, struct bpf_trampoline *tr);
f7b12b6f
THJ
650struct bpf_trampoline *bpf_trampoline_get(u64 key,
651 struct bpf_attach_target_info *tgt_info);
fec56f58 652void bpf_trampoline_put(struct bpf_trampoline *tr);
517b75e4
JO
653#define BPF_DISPATCHER_INIT(_name) { \
654 .mutex = __MUTEX_INITIALIZER(_name.mutex), \
655 .func = &_name##_func, \
656 .progs = {}, \
657 .num_progs = 0, \
658 .image = NULL, \
659 .image_off = 0, \
660 .ksym = { \
661 .name = #_name, \
662 .lnode = LIST_HEAD_INIT(_name.ksym.lnode), \
663 }, \
75ccbef6
BT
664}
665
666#define DEFINE_BPF_DISPATCHER(name) \
6a64037d 667 noinline unsigned int bpf_dispatcher_##name##_func( \
75ccbef6
BT
668 const void *ctx, \
669 const struct bpf_insn *insnsi, \
670 unsigned int (*bpf_func)(const void *, \
671 const struct bpf_insn *)) \
672 { \
673 return bpf_func(ctx, insnsi); \
674 } \
6a64037d
BT
675 EXPORT_SYMBOL(bpf_dispatcher_##name##_func); \
676 struct bpf_dispatcher bpf_dispatcher_##name = \
677 BPF_DISPATCHER_INIT(bpf_dispatcher_##name);
75ccbef6 678#define DECLARE_BPF_DISPATCHER(name) \
6a64037d 679 unsigned int bpf_dispatcher_##name##_func( \
75ccbef6
BT
680 const void *ctx, \
681 const struct bpf_insn *insnsi, \
682 unsigned int (*bpf_func)(const void *, \
683 const struct bpf_insn *)); \
6a64037d
BT
684 extern struct bpf_dispatcher bpf_dispatcher_##name;
685#define BPF_DISPATCHER_FUNC(name) bpf_dispatcher_##name##_func
686#define BPF_DISPATCHER_PTR(name) (&bpf_dispatcher_##name)
75ccbef6
BT
687void bpf_dispatcher_change_prog(struct bpf_dispatcher *d, struct bpf_prog *from,
688 struct bpf_prog *to);
dba122fb 689/* Called only from JIT-enabled code, so there's no need for stubs. */
7ac88eba 690void *bpf_jit_alloc_exec_page(void);
a108f7dc
JO
691void bpf_image_ksym_add(void *data, struct bpf_ksym *ksym);
692void bpf_image_ksym_del(struct bpf_ksym *ksym);
dba122fb
JO
693void bpf_ksym_add(struct bpf_ksym *ksym);
694void bpf_ksym_del(struct bpf_ksym *ksym);
fec56f58 695#else
3aac1ead
THJ
696static inline int bpf_trampoline_link_prog(struct bpf_prog *prog,
697 struct bpf_trampoline *tr)
fec56f58
AS
698{
699 return -ENOTSUPP;
700}
3aac1ead
THJ
701static inline int bpf_trampoline_unlink_prog(struct bpf_prog *prog,
702 struct bpf_trampoline *tr)
fec56f58
AS
703{
704 return -ENOTSUPP;
705}
f7b12b6f
THJ
706static inline struct bpf_trampoline *bpf_trampoline_get(u64 key,
707 struct bpf_attach_target_info *tgt_info)
708{
709 return ERR_PTR(-EOPNOTSUPP);
710}
fec56f58 711static inline void bpf_trampoline_put(struct bpf_trampoline *tr) {}
75ccbef6
BT
712#define DEFINE_BPF_DISPATCHER(name)
713#define DECLARE_BPF_DISPATCHER(name)
6a64037d 714#define BPF_DISPATCHER_FUNC(name) bpf_dispatcher_nop_func
75ccbef6
BT
715#define BPF_DISPATCHER_PTR(name) NULL
716static inline void bpf_dispatcher_change_prog(struct bpf_dispatcher *d,
717 struct bpf_prog *from,
718 struct bpf_prog *to) {}
e9b4e606
JO
719static inline bool is_bpf_image_address(unsigned long address)
720{
721 return false;
722}
fec56f58
AS
723#endif
724
8c1b6e69 725struct bpf_func_info_aux {
51c39bb1 726 u16 linkage;
8c1b6e69
AS
727 bool unreliable;
728};
729
a66886fe
DB
730enum bpf_jit_poke_reason {
731 BPF_POKE_REASON_TAIL_CALL,
732};
733
734/* Descriptor of pokes pointing /into/ the JITed image. */
735struct bpf_jit_poke_descriptor {
cf71b174 736 void *tailcall_target;
ebf7d1f5
MF
737 void *tailcall_bypass;
738 void *bypass_addr;
a66886fe
DB
739 union {
740 struct {
741 struct bpf_map *map;
742 u32 key;
743 } tail_call;
744 };
cf71b174 745 bool tailcall_target_stable;
a66886fe
DB
746 u8 adj_off;
747 u16 reason;
a748c697 748 u32 insn_idx;
a66886fe
DB
749};
750
3c32cc1b
YS
751/* reg_type info for ctx arguments */
752struct bpf_ctx_arg_aux {
753 u32 offset;
754 enum bpf_reg_type reg_type;
951cf368 755 u32 btf_id;
3c32cc1b
YS
756};
757
09756af4 758struct bpf_prog_aux {
85192dbf 759 atomic64_t refcnt;
24701ece 760 u32 used_map_cnt;
32bbe007 761 u32 max_ctx_offset;
e647815a 762 u32 max_pkt_offset;
9df1c28b 763 u32 max_tp_access;
8726679a 764 u32 stack_depth;
dc4bb0e2 765 u32 id;
ba64e7d8
YS
766 u32 func_cnt; /* used by non-func prog as the number of func progs */
767 u32 func_idx; /* 0 for non-func prog, the index in func array for func prog */
ccfe29eb 768 u32 attach_btf_id; /* in-kernel BTF type id to attach to */
3c32cc1b 769 u32 ctx_arg_info_size;
afbf21dc
YS
770 u32 max_rdonly_access;
771 u32 max_rdwr_access;
3c32cc1b 772 const struct bpf_ctx_arg_aux *ctx_arg_info;
3aac1ead
THJ
773 struct mutex dst_mutex; /* protects dst_* pointers below, *after* prog becomes visible */
774 struct bpf_prog *dst_prog;
775 struct bpf_trampoline *dst_trampoline;
4a1e7c0c
THJ
776 enum bpf_prog_type saved_dst_prog_type;
777 enum bpf_attach_type saved_dst_attach_type;
a4b1d3c1 778 bool verifier_zext; /* Zero extensions has been inserted by verifier. */
9a18eedb 779 bool offload_requested;
38207291 780 bool attach_btf_trace; /* true if attaching to BTF-enabled raw tp */
8c1b6e69 781 bool func_proto_unreliable;
1e6c62a8 782 bool sleepable;
ebf7d1f5 783 bool tail_call_reachable;
fec56f58 784 enum bpf_tramp_prog_type trampoline_prog_type;
fec56f58 785 struct hlist_node tramp_hlist;
38207291
MKL
786 /* BTF_KIND_FUNC_PROTO for valid attach_btf_id */
787 const struct btf_type *attach_func_proto;
788 /* function name for valid attach_btf_id */
789 const char *attach_func_name;
1c2a088a
AS
790 struct bpf_prog **func;
791 void *jit_data; /* JIT specific data. arch dependent */
a66886fe
DB
792 struct bpf_jit_poke_descriptor *poke_tab;
793 u32 size_poke_tab;
535911c8 794 struct bpf_ksym ksym;
7de16e3a 795 const struct bpf_prog_ops *ops;
09756af4 796 struct bpf_map **used_maps;
984fe94f 797 struct mutex used_maps_mutex; /* mutex for used_maps and used_map_cnt */
09756af4 798 struct bpf_prog *prog;
aaac3ba9 799 struct user_struct *user;
cb4d2b3f 800 u64 load_time; /* ns since boottime */
8bad74f9 801 struct bpf_map *cgroup_storage[MAX_BPF_CGROUP_STORAGE_TYPE];
067cae47 802 char name[BPF_OBJ_NAME_LEN];
afdb09c7
CF
803#ifdef CONFIG_SECURITY
804 void *security;
805#endif
0a9c1991 806 struct bpf_prog_offload *offload;
838e9690 807 struct btf *btf;
ba64e7d8 808 struct bpf_func_info *func_info;
8c1b6e69 809 struct bpf_func_info_aux *func_info_aux;
c454a46b
MKL
810 /* bpf_line_info loaded from userspace. linfo->insn_off
811 * has the xlated insn offset.
812 * Both the main and sub prog share the same linfo.
813 * The subprog can access its first linfo by
814 * using the linfo_idx.
815 */
816 struct bpf_line_info *linfo;
817 /* jited_linfo is the jited addr of the linfo. It has a
818 * one to one mapping to linfo:
819 * jited_linfo[i] is the jited addr for the linfo[i]->insn_off.
820 * Both the main and sub prog share the same jited_linfo.
821 * The subprog can access its first jited_linfo by
822 * using the linfo_idx.
823 */
824 void **jited_linfo;
ba64e7d8 825 u32 func_info_cnt;
c454a46b
MKL
826 u32 nr_linfo;
827 /* subprog can use linfo_idx to access its first linfo and
828 * jited_linfo.
829 * main prog always has linfo_idx == 0
830 */
831 u32 linfo_idx;
3dec541b
AS
832 u32 num_exentries;
833 struct exception_table_entry *extable;
492ecee8 834 struct bpf_prog_stats __percpu *stats;
abf2e7d6
AS
835 union {
836 struct work_struct work;
837 struct rcu_head rcu;
838 };
09756af4
AS
839};
840
2beee5f5
DB
841struct bpf_array_aux {
842 /* 'Ownership' of prog array is claimed by the first program that
843 * is going to use this map or by the first program which FD is
844 * stored in the map to make sure that all callers and callees have
845 * the same prog type and JITed flag.
846 */
847 enum bpf_prog_type type;
848 bool jited;
da765a2f
DB
849 /* Programs with direct jumps into programs part of this array. */
850 struct list_head poke_progs;
851 struct bpf_map *map;
852 struct mutex poke_mutex;
853 struct work_struct work;
2beee5f5
DB
854};
855
6cc7d1e8
AN
856struct bpf_link {
857 atomic64_t refcnt;
858 u32 id;
859 enum bpf_link_type type;
860 const struct bpf_link_ops *ops;
861 struct bpf_prog *prog;
862 struct work_struct work;
863};
864
865struct bpf_link_ops {
866 void (*release)(struct bpf_link *link);
867 void (*dealloc)(struct bpf_link *link);
73b11c2a 868 int (*detach)(struct bpf_link *link);
6cc7d1e8
AN
869 int (*update_prog)(struct bpf_link *link, struct bpf_prog *new_prog,
870 struct bpf_prog *old_prog);
871 void (*show_fdinfo)(const struct bpf_link *link, struct seq_file *seq);
872 int (*fill_link_info)(const struct bpf_link *link,
873 struct bpf_link_info *info);
874};
875
876struct bpf_link_primer {
877 struct bpf_link *link;
878 struct file *file;
879 int fd;
880 u32 id;
881};
882
85d33df3 883struct bpf_struct_ops_value;
27ae7997
MKL
884struct btf_type;
885struct btf_member;
886
887#define BPF_STRUCT_OPS_MAX_NR_MEMBERS 64
888struct bpf_struct_ops {
889 const struct bpf_verifier_ops *verifier_ops;
890 int (*init)(struct btf *btf);
891 int (*check_member)(const struct btf_type *t,
892 const struct btf_member *member);
85d33df3
MKL
893 int (*init_member)(const struct btf_type *t,
894 const struct btf_member *member,
895 void *kdata, const void *udata);
896 int (*reg)(void *kdata);
897 void (*unreg)(void *kdata);
27ae7997 898 const struct btf_type *type;
85d33df3 899 const struct btf_type *value_type;
27ae7997
MKL
900 const char *name;
901 struct btf_func_model func_models[BPF_STRUCT_OPS_MAX_NR_MEMBERS];
902 u32 type_id;
85d33df3 903 u32 value_id;
27ae7997
MKL
904};
905
906#if defined(CONFIG_BPF_JIT) && defined(CONFIG_BPF_SYSCALL)
85d33df3 907#define BPF_MODULE_OWNER ((void *)((0xeB9FUL << 2) + POISON_POINTER_DELTA))
27ae7997 908const struct bpf_struct_ops *bpf_struct_ops_find(u32 type_id);
d3e42bb0 909void bpf_struct_ops_init(struct btf *btf, struct bpf_verifier_log *log);
85d33df3
MKL
910bool bpf_struct_ops_get(const void *kdata);
911void bpf_struct_ops_put(const void *kdata);
912int bpf_struct_ops_map_sys_lookup_elem(struct bpf_map *map, void *key,
913 void *value);
914static inline bool bpf_try_module_get(const void *data, struct module *owner)
915{
916 if (owner == BPF_MODULE_OWNER)
917 return bpf_struct_ops_get(data);
918 else
919 return try_module_get(owner);
920}
921static inline void bpf_module_put(const void *data, struct module *owner)
922{
923 if (owner == BPF_MODULE_OWNER)
924 bpf_struct_ops_put(data);
925 else
926 module_put(owner);
927}
27ae7997
MKL
928#else
929static inline const struct bpf_struct_ops *bpf_struct_ops_find(u32 type_id)
930{
931 return NULL;
932}
d3e42bb0
MKL
933static inline void bpf_struct_ops_init(struct btf *btf,
934 struct bpf_verifier_log *log)
935{
936}
85d33df3
MKL
937static inline bool bpf_try_module_get(const void *data, struct module *owner)
938{
939 return try_module_get(owner);
940}
941static inline void bpf_module_put(const void *data, struct module *owner)
942{
943 module_put(owner);
944}
945static inline int bpf_struct_ops_map_sys_lookup_elem(struct bpf_map *map,
946 void *key,
947 void *value)
948{
949 return -EINVAL;
950}
27ae7997
MKL
951#endif
952
04fd61ab
AS
953struct bpf_array {
954 struct bpf_map map;
955 u32 elem_size;
b2157399 956 u32 index_mask;
2beee5f5 957 struct bpf_array_aux *aux;
04fd61ab
AS
958 union {
959 char value[0] __aligned(8);
2a36f0b9 960 void *ptrs[0] __aligned(8);
a10423b8 961 void __percpu *pptrs[0] __aligned(8);
04fd61ab
AS
962 };
963};
3b1efb19 964
c04c0d2b 965#define BPF_COMPLEXITY_LIMIT_INSNS 1000000 /* yes. 1M insns */
04fd61ab
AS
966#define MAX_TAIL_CALL_CNT 32
967
591fe988
DB
968#define BPF_F_ACCESS_MASK (BPF_F_RDONLY | \
969 BPF_F_RDONLY_PROG | \
970 BPF_F_WRONLY | \
971 BPF_F_WRONLY_PROG)
972
973#define BPF_MAP_CAN_READ BIT(0)
974#define BPF_MAP_CAN_WRITE BIT(1)
975
976static inline u32 bpf_map_flags_to_cap(struct bpf_map *map)
977{
978 u32 access_flags = map->map_flags & (BPF_F_RDONLY_PROG | BPF_F_WRONLY_PROG);
979
980 /* Combination of BPF_F_RDONLY_PROG | BPF_F_WRONLY_PROG is
981 * not possible.
982 */
983 if (access_flags & BPF_F_RDONLY_PROG)
984 return BPF_MAP_CAN_READ;
985 else if (access_flags & BPF_F_WRONLY_PROG)
986 return BPF_MAP_CAN_WRITE;
987 else
988 return BPF_MAP_CAN_READ | BPF_MAP_CAN_WRITE;
989}
990
991static inline bool bpf_map_flags_access_ok(u32 access_flags)
992{
993 return (access_flags & (BPF_F_RDONLY_PROG | BPF_F_WRONLY_PROG)) !=
994 (BPF_F_RDONLY_PROG | BPF_F_WRONLY_PROG);
995}
996
3b1efb19
DB
997struct bpf_event_entry {
998 struct perf_event *event;
999 struct file *perf_file;
1000 struct file *map_file;
1001 struct rcu_head rcu;
1002};
1003
04fd61ab 1004bool bpf_prog_array_compatible(struct bpf_array *array, const struct bpf_prog *fp);
f1f7714e 1005int bpf_prog_calc_tag(struct bpf_prog *fp);
9e15db66 1006const char *kernel_type_name(u32 btf_type_id);
bd570ff9 1007
0756ea3e 1008const struct bpf_func_proto *bpf_get_trace_printk_proto(void);
555c8a86
DB
1009
1010typedef unsigned long (*bpf_ctx_copy_t)(void *dst, const void *src,
aa7145c1 1011 unsigned long off, unsigned long len);
c64b7983
JS
1012typedef u32 (*bpf_convert_ctx_access_t)(enum bpf_access_type type,
1013 const struct bpf_insn *src,
1014 struct bpf_insn *dst,
1015 struct bpf_prog *prog,
1016 u32 *target_size);
555c8a86
DB
1017
1018u64 bpf_event_output(struct bpf_map *map, u64 flags, void *meta, u64 meta_size,
1019 void *ctx, u64 ctx_size, bpf_ctx_copy_t ctx_copy);
04fd61ab 1020
324bda9e
AS
1021/* an array of programs to be executed under rcu_lock.
1022 *
1023 * Typical usage:
1024 * ret = BPF_PROG_RUN_ARRAY(&bpf_prog_array, ctx, BPF_PROG_RUN);
1025 *
1026 * the structure returned by bpf_prog_array_alloc() should be populated
1027 * with program pointers and the last pointer must be NULL.
1028 * The user has to keep refcnt on the program and make sure the program
1029 * is removed from the array before bpf_prog_put().
1030 * The 'struct bpf_prog_array *' should only be replaced with xchg()
1031 * since other cpus are walking the array of pointers in parallel.
1032 */
394e40a2
RG
1033struct bpf_prog_array_item {
1034 struct bpf_prog *prog;
8bad74f9 1035 struct bpf_cgroup_storage *cgroup_storage[MAX_BPF_CGROUP_STORAGE_TYPE];
394e40a2
RG
1036};
1037
324bda9e
AS
1038struct bpf_prog_array {
1039 struct rcu_head rcu;
d7f10df8 1040 struct bpf_prog_array_item items[];
324bda9e
AS
1041};
1042
d29ab6e1 1043struct bpf_prog_array *bpf_prog_array_alloc(u32 prog_cnt, gfp_t flags);
54e9c9d4
SF
1044void bpf_prog_array_free(struct bpf_prog_array *progs);
1045int bpf_prog_array_length(struct bpf_prog_array *progs);
0d01da6a 1046bool bpf_prog_array_is_empty(struct bpf_prog_array *array);
54e9c9d4 1047int bpf_prog_array_copy_to_user(struct bpf_prog_array *progs,
468e2f64 1048 __u32 __user *prog_ids, u32 cnt);
324bda9e 1049
54e9c9d4 1050void bpf_prog_array_delete_safe(struct bpf_prog_array *progs,
e87c6bc3 1051 struct bpf_prog *old_prog);
ce3aa9cc
JS
1052int bpf_prog_array_delete_safe_at(struct bpf_prog_array *array, int index);
1053int bpf_prog_array_update_at(struct bpf_prog_array *array, int index,
1054 struct bpf_prog *prog);
54e9c9d4 1055int bpf_prog_array_copy_info(struct bpf_prog_array *array,
3a38bb98
YS
1056 u32 *prog_ids, u32 request_cnt,
1057 u32 *prog_cnt);
54e9c9d4 1058int bpf_prog_array_copy(struct bpf_prog_array *old_array,
e87c6bc3
YS
1059 struct bpf_prog *exclude_prog,
1060 struct bpf_prog *include_prog,
1061 struct bpf_prog_array **new_array);
1062
1063#define __BPF_PROG_RUN_ARRAY(array, ctx, func, check_non_null) \
324bda9e 1064 ({ \
394e40a2
RG
1065 struct bpf_prog_array_item *_item; \
1066 struct bpf_prog *_prog; \
e87c6bc3 1067 struct bpf_prog_array *_array; \
324bda9e 1068 u32 _ret = 1; \
2a916f2f 1069 migrate_disable(); \
324bda9e 1070 rcu_read_lock(); \
e87c6bc3
YS
1071 _array = rcu_dereference(array); \
1072 if (unlikely(check_non_null && !_array))\
1073 goto _out; \
394e40a2
RG
1074 _item = &_array->items[0]; \
1075 while ((_prog = READ_ONCE(_item->prog))) { \
1076 bpf_cgroup_storage_set(_item->cgroup_storage); \
1077 _ret &= func(_prog, ctx); \
1078 _item++; \
e87c6bc3
YS
1079 } \
1080_out: \
324bda9e 1081 rcu_read_unlock(); \
2a916f2f 1082 migrate_enable(); \
324bda9e
AS
1083 _ret; \
1084 })
1085
1f52f6c0 1086/* To be used by __cgroup_bpf_run_filter_skb for EGRESS BPF progs
1087 * so BPF programs can request cwr for TCP packets.
1088 *
1089 * Current cgroup skb programs can only return 0 or 1 (0 to drop the
1090 * packet. This macro changes the behavior so the low order bit
1091 * indicates whether the packet should be dropped (0) or not (1)
1092 * and the next bit is a congestion notification bit. This could be
1093 * used by TCP to call tcp_enter_cwr()
1094 *
1095 * Hence, new allowed return values of CGROUP EGRESS BPF programs are:
1096 * 0: drop packet
1097 * 1: keep packet
1098 * 2: drop packet and cn
1099 * 3: keep packet and cn
1100 *
1101 * This macro then converts it to one of the NET_XMIT or an error
1102 * code that is then interpreted as drop packet (and no cn):
1103 * 0: NET_XMIT_SUCCESS skb should be transmitted
1104 * 1: NET_XMIT_DROP skb should be dropped and cn
1105 * 2: NET_XMIT_CN skb should be transmitted and cn
1106 * 3: -EPERM skb should be dropped
1107 */
1108#define BPF_PROG_CGROUP_INET_EGRESS_RUN_ARRAY(array, ctx, func) \
1109 ({ \
1110 struct bpf_prog_array_item *_item; \
1111 struct bpf_prog *_prog; \
1112 struct bpf_prog_array *_array; \
1113 u32 ret; \
1114 u32 _ret = 1; \
1115 u32 _cn = 0; \
2a916f2f 1116 migrate_disable(); \
1f52f6c0 1117 rcu_read_lock(); \
1118 _array = rcu_dereference(array); \
1119 _item = &_array->items[0]; \
1120 while ((_prog = READ_ONCE(_item->prog))) { \
1121 bpf_cgroup_storage_set(_item->cgroup_storage); \
1122 ret = func(_prog, ctx); \
1123 _ret &= (ret & 1); \
1124 _cn |= (ret & 2); \
1125 _item++; \
1126 } \
1127 rcu_read_unlock(); \
2a916f2f 1128 migrate_enable(); \
1f52f6c0 1129 if (_ret) \
1130 _ret = (_cn ? NET_XMIT_CN : NET_XMIT_SUCCESS); \
1131 else \
1132 _ret = (_cn ? NET_XMIT_DROP : -EPERM); \
1133 _ret; \
1134 })
1135
e87c6bc3
YS
1136#define BPF_PROG_RUN_ARRAY(array, ctx, func) \
1137 __BPF_PROG_RUN_ARRAY(array, ctx, func, false)
1138
1139#define BPF_PROG_RUN_ARRAY_CHECK(array, ctx, func) \
1140 __BPF_PROG_RUN_ARRAY(array, ctx, func, true)
1141
89aa0758 1142#ifdef CONFIG_BPF_SYSCALL
b121d1e7 1143DECLARE_PER_CPU(int, bpf_prog_active);
d46edd67 1144extern struct mutex bpf_stats_enabled_mutex;
b121d1e7 1145
c518cfa0
TG
1146/*
1147 * Block execution of BPF programs attached to instrumentation (perf,
1148 * kprobes, tracepoints) to prevent deadlocks on map operations as any of
1149 * these events can happen inside a region which holds a map bucket lock
1150 * and can deadlock on it.
1151 *
1152 * Use the preemption safe inc/dec variants on RT because migrate disable
1153 * is preemptible on RT and preemption in the middle of the RMW operation
1154 * might lead to inconsistent state. Use the raw variants for non RT
1155 * kernels as migrate_disable() maps to preempt_disable() so the slightly
1156 * more expensive save operation can be avoided.
1157 */
1158static inline void bpf_disable_instrumentation(void)
1159{
1160 migrate_disable();
1161 if (IS_ENABLED(CONFIG_PREEMPT_RT))
1162 this_cpu_inc(bpf_prog_active);
1163 else
1164 __this_cpu_inc(bpf_prog_active);
1165}
1166
1167static inline void bpf_enable_instrumentation(void)
1168{
1169 if (IS_ENABLED(CONFIG_PREEMPT_RT))
1170 this_cpu_dec(bpf_prog_active);
1171 else
1172 __this_cpu_dec(bpf_prog_active);
1173 migrate_enable();
1174}
1175
f66e448c
CF
1176extern const struct file_operations bpf_map_fops;
1177extern const struct file_operations bpf_prog_fops;
367ec3e4 1178extern const struct file_operations bpf_iter_fops;
f66e448c 1179
91cc1a99 1180#define BPF_PROG_TYPE(_id, _name, prog_ctx_type, kern_ctx_type) \
7de16e3a
JK
1181 extern const struct bpf_prog_ops _name ## _prog_ops; \
1182 extern const struct bpf_verifier_ops _name ## _verifier_ops;
40077e0c
JB
1183#define BPF_MAP_TYPE(_id, _ops) \
1184 extern const struct bpf_map_ops _ops;
f2e10bff 1185#define BPF_LINK_TYPE(_id, _name)
be9370a7
JB
1186#include <linux/bpf_types.h>
1187#undef BPF_PROG_TYPE
40077e0c 1188#undef BPF_MAP_TYPE
f2e10bff 1189#undef BPF_LINK_TYPE
0fc174de 1190
ab3f0063 1191extern const struct bpf_prog_ops bpf_offload_prog_ops;
4f9218aa
JK
1192extern const struct bpf_verifier_ops tc_cls_act_analyzer_ops;
1193extern const struct bpf_verifier_ops xdp_analyzer_ops;
1194
0fc174de 1195struct bpf_prog *bpf_prog_get(u32 ufd);
248f346f 1196struct bpf_prog *bpf_prog_get_type_dev(u32 ufd, enum bpf_prog_type type,
288b3de5 1197 bool attach_drv);
85192dbf 1198void bpf_prog_add(struct bpf_prog *prog, int i);
c540594f 1199void bpf_prog_sub(struct bpf_prog *prog, int i);
85192dbf 1200void bpf_prog_inc(struct bpf_prog *prog);
a6f6df69 1201struct bpf_prog * __must_check bpf_prog_inc_not_zero(struct bpf_prog *prog);
61e021f3 1202void bpf_prog_put(struct bpf_prog *prog);
5ccb071e
DB
1203int __bpf_prog_charge(struct user_struct *user, u32 pages);
1204void __bpf_prog_uncharge(struct user_struct *user, u32 pages);
a2ea0746
DB
1205void __bpf_free_used_maps(struct bpf_prog_aux *aux,
1206 struct bpf_map **used_maps, u32 len);
61e021f3 1207
ad8ad79f 1208void bpf_prog_free_id(struct bpf_prog *prog, bool do_idr_lock);
a3884572 1209void bpf_map_free_id(struct bpf_map *map, bool do_idr_lock);
ad8ad79f 1210
1ed4d924 1211struct bpf_map *bpf_map_get(u32 ufd);
c9da161c 1212struct bpf_map *bpf_map_get_with_uref(u32 ufd);
c2101297 1213struct bpf_map *__bpf_map_get(struct fd f);
1e0bd5a0
AN
1214void bpf_map_inc(struct bpf_map *map);
1215void bpf_map_inc_with_uref(struct bpf_map *map);
1216struct bpf_map * __must_check bpf_map_inc_not_zero(struct bpf_map *map);
c9da161c 1217void bpf_map_put_with_uref(struct bpf_map *map);
61e021f3 1218void bpf_map_put(struct bpf_map *map);
0a4c58f5
RG
1219int bpf_map_charge_memlock(struct bpf_map *map, u32 pages);
1220void bpf_map_uncharge_memlock(struct bpf_map *map, u32 pages);
196e8ca7 1221int bpf_map_charge_init(struct bpf_map_memory *mem, u64 size);
b936ca64
RG
1222void bpf_map_charge_finish(struct bpf_map_memory *mem);
1223void bpf_map_charge_move(struct bpf_map_memory *dst,
1224 struct bpf_map_memory *src);
196e8ca7
DB
1225void *bpf_map_area_alloc(u64 size, int numa_node);
1226void *bpf_map_area_mmapable_alloc(u64 size, int numa_node);
d407bd25 1227void bpf_map_area_free(void *base);
bd475643 1228void bpf_map_init_from_attr(struct bpf_map *map, union bpf_attr *attr);
cb4d03ab
BV
1229int generic_map_lookup_batch(struct bpf_map *map,
1230 const union bpf_attr *attr,
aa2e93b8
BV
1231 union bpf_attr __user *uattr);
1232int generic_map_update_batch(struct bpf_map *map,
1233 const union bpf_attr *attr,
1234 union bpf_attr __user *uattr);
1235int generic_map_delete_batch(struct bpf_map *map,
1236 const union bpf_attr *attr,
cb4d03ab 1237 union bpf_attr __user *uattr);
6086d29d 1238struct bpf_map *bpf_map_get_curr_or_next(u32 *id);
a228a64f 1239struct bpf_prog *bpf_prog_get_curr_or_next(u32 *id);
61e021f3 1240
1be7f75d
AS
1241extern int sysctl_unprivileged_bpf_disabled;
1242
2c78ee89
AS
1243static inline bool bpf_allow_ptr_leaks(void)
1244{
1245 return perfmon_capable();
1246}
1247
41c48f3a
AI
1248static inline bool bpf_allow_ptr_to_map_access(void)
1249{
1250 return perfmon_capable();
1251}
1252
2c78ee89
AS
1253static inline bool bpf_bypass_spec_v1(void)
1254{
1255 return perfmon_capable();
1256}
1257
1258static inline bool bpf_bypass_spec_v4(void)
1259{
1260 return perfmon_capable();
1261}
1262
6e71b04a 1263int bpf_map_new_fd(struct bpf_map *map, int flags);
b2197755
DB
1264int bpf_prog_new_fd(struct bpf_prog *prog);
1265
f2e10bff 1266void bpf_link_init(struct bpf_link *link, enum bpf_link_type type,
a3b80e10
AN
1267 const struct bpf_link_ops *ops, struct bpf_prog *prog);
1268int bpf_link_prime(struct bpf_link *link, struct bpf_link_primer *primer);
1269int bpf_link_settle(struct bpf_link_primer *primer);
1270void bpf_link_cleanup(struct bpf_link_primer *primer);
70ed506c
AN
1271void bpf_link_inc(struct bpf_link *link);
1272void bpf_link_put(struct bpf_link *link);
1273int bpf_link_new_fd(struct bpf_link *link);
babf3164 1274struct file *bpf_link_new_file(struct bpf_link *link, int *reserved_fd);
70ed506c
AN
1275struct bpf_link *bpf_link_get_from_fd(u32 ufd);
1276
b2197755 1277int bpf_obj_pin_user(u32 ufd, const char __user *pathname);
6e71b04a 1278int bpf_obj_get_user(const char __user *pathname, int flags);
b2197755 1279
21aef70e 1280#define BPF_ITER_FUNC_PREFIX "bpf_iter_"
e5158d98 1281#define DEFINE_BPF_ITER_FUNC(target, args...) \
21aef70e
YS
1282 extern int bpf_iter_ ## target(args); \
1283 int __init bpf_iter_ ## target(args) { return 0; }
15d83c4d 1284
f9c79272 1285struct bpf_iter_aux_info {
a5cbe05a 1286 struct bpf_map *map;
f9c79272
YS
1287};
1288
5e7b3020
YS
1289typedef int (*bpf_iter_attach_target_t)(struct bpf_prog *prog,
1290 union bpf_iter_link_info *linfo,
1291 struct bpf_iter_aux_info *aux);
1292typedef void (*bpf_iter_detach_target_t)(struct bpf_iter_aux_info *aux);
6b0a249a
YS
1293typedef void (*bpf_iter_show_fdinfo_t) (const struct bpf_iter_aux_info *aux,
1294 struct seq_file *seq);
1295typedef int (*bpf_iter_fill_link_info_t)(const struct bpf_iter_aux_info *aux,
1296 struct bpf_link_info *info);
a5cbe05a 1297
cf83b2d2
YS
1298enum bpf_iter_feature {
1299 BPF_ITER_RESCHED = BIT(0),
1300};
1301
3c32cc1b 1302#define BPF_ITER_CTX_ARG_MAX 2
ae24345d
YS
1303struct bpf_iter_reg {
1304 const char *target;
5e7b3020
YS
1305 bpf_iter_attach_target_t attach_target;
1306 bpf_iter_detach_target_t detach_target;
6b0a249a
YS
1307 bpf_iter_show_fdinfo_t show_fdinfo;
1308 bpf_iter_fill_link_info_t fill_link_info;
3c32cc1b 1309 u32 ctx_arg_info_size;
cf83b2d2 1310 u32 feature;
3c32cc1b 1311 struct bpf_ctx_arg_aux ctx_arg_info[BPF_ITER_CTX_ARG_MAX];
14fc6bd6 1312 const struct bpf_iter_seq_info *seq_info;
ae24345d
YS
1313};
1314
e5158d98
YS
1315struct bpf_iter_meta {
1316 __bpf_md_ptr(struct seq_file *, seq);
1317 u64 session_id;
1318 u64 seq_num;
1319};
1320
a5cbe05a
YS
1321struct bpf_iter__bpf_map_elem {
1322 __bpf_md_ptr(struct bpf_iter_meta *, meta);
1323 __bpf_md_ptr(struct bpf_map *, map);
1324 __bpf_md_ptr(void *, key);
1325 __bpf_md_ptr(void *, value);
1326};
1327
15172a46 1328int bpf_iter_reg_target(const struct bpf_iter_reg *reg_info);
ab2ee4fc 1329void bpf_iter_unreg_target(const struct bpf_iter_reg *reg_info);
15d83c4d 1330bool bpf_iter_prog_supported(struct bpf_prog *prog);
de4e05ca 1331int bpf_iter_link_attach(const union bpf_attr *attr, struct bpf_prog *prog);
ac51d99b 1332int bpf_iter_new_fd(struct bpf_link *link);
367ec3e4 1333bool bpf_link_is_iter(struct bpf_link *link);
e5158d98
YS
1334struct bpf_prog *bpf_iter_get_info(struct bpf_iter_meta *meta, bool in_stop);
1335int bpf_iter_run_prog(struct bpf_prog *prog, void *ctx);
b76f2226
YS
1336void bpf_iter_map_show_fdinfo(const struct bpf_iter_aux_info *aux,
1337 struct seq_file *seq);
1338int bpf_iter_map_fill_link_info(const struct bpf_iter_aux_info *aux,
1339 struct bpf_link_info *info);
ae24345d 1340
15a07b33
AS
1341int bpf_percpu_hash_copy(struct bpf_map *map, void *key, void *value);
1342int bpf_percpu_array_copy(struct bpf_map *map, void *key, void *value);
1343int bpf_percpu_hash_update(struct bpf_map *map, void *key, void *value,
1344 u64 flags);
1345int bpf_percpu_array_update(struct bpf_map *map, void *key, void *value,
1346 u64 flags);
d056a788 1347
557c0c6e 1348int bpf_stackmap_copy(struct bpf_map *map, void *key, void *value);
15a07b33 1349
d056a788
DB
1350int bpf_fd_array_map_update_elem(struct bpf_map *map, struct file *map_file,
1351 void *key, void *value, u64 map_flags);
14dc6f04 1352int bpf_fd_array_map_lookup_elem(struct bpf_map *map, void *key, u32 *value);
bcc6b1b7
MKL
1353int bpf_fd_htab_map_update_elem(struct bpf_map *map, struct file *map_file,
1354 void *key, void *value, u64 map_flags);
14dc6f04 1355int bpf_fd_htab_map_lookup_elem(struct bpf_map *map, void *key, u32 *value);
d056a788 1356
6e71b04a 1357int bpf_get_file_flag(int flags);
dcab51f1
MKL
1358int bpf_check_uarg_tail_zero(void __user *uaddr, size_t expected_size,
1359 size_t actual_size);
6e71b04a 1360
15a07b33
AS
1361/* memcpy that is used with 8-byte aligned pointers, power-of-8 size and
1362 * forced to use 'long' read/writes to try to atomically copy long counters.
1363 * Best-effort only. No barriers here, since it _will_ race with concurrent
1364 * updates from BPF programs. Called from bpf syscall and mostly used with
1365 * size 8 or 16 bytes, so ask compiler to inline it.
1366 */
1367static inline void bpf_long_memcpy(void *dst, const void *src, u32 size)
1368{
1369 const long *lsrc = src;
1370 long *ldst = dst;
1371
1372 size /= sizeof(long);
1373 while (size--)
1374 *ldst++ = *lsrc++;
1375}
1376
61e021f3 1377/* verify correctness of eBPF program */
838e9690
YS
1378int bpf_check(struct bpf_prog **fp, union bpf_attr *attr,
1379 union bpf_attr __user *uattr);
1ea47e01 1380void bpf_patch_call_args(struct bpf_insn *insn, u32 stack_depth);
46f55cff 1381
76654e67
AM
1382struct btf *bpf_get_btf_vmlinux(void);
1383
46f55cff 1384/* Map specifics */
67f29e07 1385struct xdp_buff;
6d5fc195 1386struct sk_buff;
67f29e07
JDB
1387
1388struct bpf_dtab_netdev *__dev_map_lookup_elem(struct bpf_map *map, u32 key);
6f9d451a 1389struct bpf_dtab_netdev *__dev_map_hash_lookup_elem(struct bpf_map *map, u32 key);
1d233886
THJ
1390void __dev_flush(void);
1391int dev_xdp_enqueue(struct net_device *dev, struct xdp_buff *xdp,
1392 struct net_device *dev_rx);
38edddb8
JDB
1393int dev_map_enqueue(struct bpf_dtab_netdev *dst, struct xdp_buff *xdp,
1394 struct net_device *dev_rx);
6d5fc195
TM
1395int dev_map_generic_redirect(struct bpf_dtab_netdev *dst, struct sk_buff *skb,
1396 struct bpf_prog *xdp_prog);
fbee97fe 1397bool dev_map_can_have_prog(struct bpf_map *map);
46f55cff 1398
9c270af3 1399struct bpf_cpu_map_entry *__cpu_map_lookup_elem(struct bpf_map *map, u32 key);
cdfafe98 1400void __cpu_map_flush(void);
9c270af3
JDB
1401int cpu_map_enqueue(struct bpf_cpu_map_entry *rcpu, struct xdp_buff *xdp,
1402 struct net_device *dev_rx);
92164774 1403bool cpu_map_prog_allowed(struct bpf_map *map);
9c270af3 1404
96eabe7a
MKL
1405/* Return map's numa specified by userspace */
1406static inline int bpf_map_attr_numa_node(const union bpf_attr *attr)
1407{
1408 return (attr->map_flags & BPF_F_NUMA_NODE) ?
1409 attr->numa_node : NUMA_NO_NODE;
1410}
1411
040ee692 1412struct bpf_prog *bpf_prog_get_type_path(const char *name, enum bpf_prog_type type);
5dc4c4b7 1413int array_map_alloc_check(union bpf_attr *attr);
040ee692 1414
c695865c
SF
1415int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr,
1416 union bpf_attr __user *uattr);
1417int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr,
1418 union bpf_attr __user *uattr);
da00d2f1
KS
1419int bpf_prog_test_run_tracing(struct bpf_prog *prog,
1420 const union bpf_attr *kattr,
1421 union bpf_attr __user *uattr);
c695865c
SF
1422int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
1423 const union bpf_attr *kattr,
1424 union bpf_attr __user *uattr);
1b4d60ec
SL
1425int bpf_prog_test_run_raw_tp(struct bpf_prog *prog,
1426 const union bpf_attr *kattr,
1427 union bpf_attr __user *uattr);
9e15db66
AS
1428bool btf_ctx_access(int off, int size, enum bpf_access_type type,
1429 const struct bpf_prog *prog,
1430 struct bpf_insn_access_aux *info);
1431int btf_struct_access(struct bpf_verifier_log *log,
1432 const struct btf_type *t, int off, int size,
1433 enum bpf_access_type atype,
1434 u32 *next_btf_id);
faaf4a79
JO
1435bool btf_struct_ids_match(struct bpf_verifier_log *log,
1436 int off, u32 id, u32 need_type_id);
9e15db66 1437
fec56f58
AS
1438int btf_distill_func_proto(struct bpf_verifier_log *log,
1439 struct btf *btf,
1440 const struct btf_type *func_proto,
1441 const char *func_name,
1442 struct btf_func_model *m);
1443
51c39bb1
AS
1444struct bpf_reg_state;
1445int btf_check_func_arg_match(struct bpf_verifier_env *env, int subprog,
1446 struct bpf_reg_state *regs);
1447int btf_prepare_func_args(struct bpf_verifier_env *env, int subprog,
1448 struct bpf_reg_state *reg);
efc68158 1449int btf_check_type_match(struct bpf_verifier_log *log, const struct bpf_prog *prog,
be8704ff 1450 struct btf *btf, const struct btf_type *t);
8c1b6e69 1451
7e6897f9 1452struct bpf_prog *bpf_prog_by_id(u32 id);
005142b8 1453struct bpf_link *bpf_link_by_id(u32 id);
7e6897f9 1454
6890896b 1455const struct bpf_func_proto *bpf_base_func_proto(enum bpf_func_id func_id);
9c270af3 1456#else /* !CONFIG_BPF_SYSCALL */
0fc174de
DB
1457static inline struct bpf_prog *bpf_prog_get(u32 ufd)
1458{
1459 return ERR_PTR(-EOPNOTSUPP);
1460}
1461
248f346f
JK
1462static inline struct bpf_prog *bpf_prog_get_type_dev(u32 ufd,
1463 enum bpf_prog_type type,
288b3de5 1464 bool attach_drv)
248f346f
JK
1465{
1466 return ERR_PTR(-EOPNOTSUPP);
1467}
1468
85192dbf 1469static inline void bpf_prog_add(struct bpf_prog *prog, int i)
cc2e0b3f 1470{
cc2e0b3f 1471}
113214be 1472
c540594f
DB
1473static inline void bpf_prog_sub(struct bpf_prog *prog, int i)
1474{
1475}
1476
0fc174de
DB
1477static inline void bpf_prog_put(struct bpf_prog *prog)
1478{
1479}
6d67942d 1480
85192dbf 1481static inline void bpf_prog_inc(struct bpf_prog *prog)
aa6a5f3c 1482{
aa6a5f3c 1483}
5ccb071e 1484
a6f6df69
JF
1485static inline struct bpf_prog *__must_check
1486bpf_prog_inc_not_zero(struct bpf_prog *prog)
1487{
1488 return ERR_PTR(-EOPNOTSUPP);
1489}
1490
5ccb071e
DB
1491static inline int __bpf_prog_charge(struct user_struct *user, u32 pages)
1492{
1493 return 0;
1494}
1495
1496static inline void __bpf_prog_uncharge(struct user_struct *user, u32 pages)
1497{
1498}
46f55cff 1499
6cc7d1e8
AN
1500static inline void bpf_link_init(struct bpf_link *link, enum bpf_link_type type,
1501 const struct bpf_link_ops *ops,
1502 struct bpf_prog *prog)
1503{
1504}
1505
1506static inline int bpf_link_prime(struct bpf_link *link,
1507 struct bpf_link_primer *primer)
1508{
1509 return -EOPNOTSUPP;
1510}
1511
1512static inline int bpf_link_settle(struct bpf_link_primer *primer)
1513{
1514 return -EOPNOTSUPP;
1515}
1516
1517static inline void bpf_link_cleanup(struct bpf_link_primer *primer)
1518{
1519}
1520
1521static inline void bpf_link_inc(struct bpf_link *link)
1522{
1523}
1524
1525static inline void bpf_link_put(struct bpf_link *link)
1526{
1527}
1528
6e71b04a 1529static inline int bpf_obj_get_user(const char __user *pathname, int flags)
98589a09
SL
1530{
1531 return -EOPNOTSUPP;
1532}
1533
46f55cff
JF
1534static inline struct net_device *__dev_map_lookup_elem(struct bpf_map *map,
1535 u32 key)
1536{
1537 return NULL;
1538}
1539
6f9d451a
THJ
1540static inline struct net_device *__dev_map_hash_lookup_elem(struct bpf_map *map,
1541 u32 key)
1542{
1543 return NULL;
1544}
fbee97fe
DA
1545static inline bool dev_map_can_have_prog(struct bpf_map *map)
1546{
1547 return false;
1548}
6f9d451a 1549
1d233886 1550static inline void __dev_flush(void)
46f55cff
JF
1551{
1552}
9c270af3 1553
67f29e07
JDB
1554struct xdp_buff;
1555struct bpf_dtab_netdev;
1556
1d233886
THJ
1557static inline
1558int dev_xdp_enqueue(struct net_device *dev, struct xdp_buff *xdp,
1559 struct net_device *dev_rx)
1560{
1561 return 0;
1562}
1563
67f29e07 1564static inline
38edddb8
JDB
1565int dev_map_enqueue(struct bpf_dtab_netdev *dst, struct xdp_buff *xdp,
1566 struct net_device *dev_rx)
67f29e07
JDB
1567{
1568 return 0;
1569}
1570
6d5fc195
TM
1571struct sk_buff;
1572
1573static inline int dev_map_generic_redirect(struct bpf_dtab_netdev *dst,
1574 struct sk_buff *skb,
1575 struct bpf_prog *xdp_prog)
1576{
1577 return 0;
1578}
1579
9c270af3
JDB
1580static inline
1581struct bpf_cpu_map_entry *__cpu_map_lookup_elem(struct bpf_map *map, u32 key)
1582{
1583 return NULL;
1584}
1585
cdfafe98 1586static inline void __cpu_map_flush(void)
9c270af3
JDB
1587{
1588}
1589
9c270af3
JDB
1590static inline int cpu_map_enqueue(struct bpf_cpu_map_entry *rcpu,
1591 struct xdp_buff *xdp,
1592 struct net_device *dev_rx)
1593{
1594 return 0;
1595}
040ee692 1596
92164774
LB
1597static inline bool cpu_map_prog_allowed(struct bpf_map *map)
1598{
1599 return false;
1600}
1601
040ee692
AV
1602static inline struct bpf_prog *bpf_prog_get_type_path(const char *name,
1603 enum bpf_prog_type type)
1604{
1605 return ERR_PTR(-EOPNOTSUPP);
1606}
c695865c
SF
1607
1608static inline int bpf_prog_test_run_xdp(struct bpf_prog *prog,
1609 const union bpf_attr *kattr,
1610 union bpf_attr __user *uattr)
1611{
1612 return -ENOTSUPP;
1613}
1614
1615static inline int bpf_prog_test_run_skb(struct bpf_prog *prog,
1616 const union bpf_attr *kattr,
1617 union bpf_attr __user *uattr)
1618{
1619 return -ENOTSUPP;
1620}
1621
da00d2f1
KS
1622static inline int bpf_prog_test_run_tracing(struct bpf_prog *prog,
1623 const union bpf_attr *kattr,
1624 union bpf_attr __user *uattr)
1625{
1626 return -ENOTSUPP;
1627}
1628
c695865c
SF
1629static inline int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
1630 const union bpf_attr *kattr,
1631 union bpf_attr __user *uattr)
1632{
1633 return -ENOTSUPP;
1634}
6332be04
DB
1635
1636static inline void bpf_map_put(struct bpf_map *map)
1637{
1638}
7e6897f9
BT
1639
1640static inline struct bpf_prog *bpf_prog_by_id(u32 id)
1641{
1642 return ERR_PTR(-ENOTSUPP);
1643}
6890896b
SF
1644
1645static inline const struct bpf_func_proto *
1646bpf_base_func_proto(enum bpf_func_id func_id)
1647{
1648 return NULL;
1649}
61e021f3 1650#endif /* CONFIG_BPF_SYSCALL */
09756af4 1651
479321e9
JK
1652static inline struct bpf_prog *bpf_prog_get_type(u32 ufd,
1653 enum bpf_prog_type type)
1654{
1655 return bpf_prog_get_type_dev(ufd, type, false);
1656}
1657
040ee692
AV
1658bool bpf_prog_get_ok(struct bpf_prog *, enum bpf_prog_type *, bool);
1659
ab3f0063
JK
1660int bpf_prog_offload_compile(struct bpf_prog *prog);
1661void bpf_prog_offload_destroy(struct bpf_prog *prog);
675fc275
JK
1662int bpf_prog_offload_info_fill(struct bpf_prog_info *info,
1663 struct bpf_prog *prog);
ab3f0063 1664
52775b33
JK
1665int bpf_map_offload_info_fill(struct bpf_map_info *info, struct bpf_map *map);
1666
a3884572
JK
1667int bpf_map_offload_lookup_elem(struct bpf_map *map, void *key, void *value);
1668int bpf_map_offload_update_elem(struct bpf_map *map,
1669 void *key, void *value, u64 flags);
1670int bpf_map_offload_delete_elem(struct bpf_map *map, void *key);
1671int bpf_map_offload_get_next_key(struct bpf_map *map,
1672 void *key, void *next_key);
1673
09728266 1674bool bpf_offload_prog_map_match(struct bpf_prog *prog, struct bpf_map *map);
a3884572 1675
1385d755 1676struct bpf_offload_dev *
dd27c2e3 1677bpf_offload_dev_create(const struct bpf_prog_offload_ops *ops, void *priv);
602144c2 1678void bpf_offload_dev_destroy(struct bpf_offload_dev *offdev);
dd27c2e3 1679void *bpf_offload_dev_priv(struct bpf_offload_dev *offdev);
602144c2
JK
1680int bpf_offload_dev_netdev_register(struct bpf_offload_dev *offdev,
1681 struct net_device *netdev);
1682void bpf_offload_dev_netdev_unregister(struct bpf_offload_dev *offdev,
1683 struct net_device *netdev);
fd4f227d 1684bool bpf_offload_dev_match(struct bpf_prog *prog, struct net_device *netdev);
9fd7c555 1685
ab3f0063
JK
1686#if defined(CONFIG_NET) && defined(CONFIG_BPF_SYSCALL)
1687int bpf_prog_offload_init(struct bpf_prog *prog, union bpf_attr *attr);
1688
0d830032 1689static inline bool bpf_prog_is_dev_bound(const struct bpf_prog_aux *aux)
ab3f0063 1690{
9a18eedb 1691 return aux->offload_requested;
ab3f0063 1692}
a3884572
JK
1693
1694static inline bool bpf_map_is_dev_bound(struct bpf_map *map)
1695{
1696 return unlikely(map->ops == &bpf_map_offload_ops);
1697}
1698
1699struct bpf_map *bpf_map_offload_map_alloc(union bpf_attr *attr);
1700void bpf_map_offload_map_free(struct bpf_map *map);
ab3f0063
JK
1701#else
1702static inline int bpf_prog_offload_init(struct bpf_prog *prog,
1703 union bpf_attr *attr)
1704{
1705 return -EOPNOTSUPP;
1706}
1707
1708static inline bool bpf_prog_is_dev_bound(struct bpf_prog_aux *aux)
1709{
1710 return false;
1711}
a3884572
JK
1712
1713static inline bool bpf_map_is_dev_bound(struct bpf_map *map)
1714{
1715 return false;
1716}
1717
1718static inline struct bpf_map *bpf_map_offload_map_alloc(union bpf_attr *attr)
1719{
1720 return ERR_PTR(-EOPNOTSUPP);
1721}
1722
1723static inline void bpf_map_offload_map_free(struct bpf_map *map)
1724{
1725}
ab3f0063
JK
1726#endif /* CONFIG_NET && CONFIG_BPF_SYSCALL */
1727
604326b4 1728#if defined(CONFIG_BPF_STREAM_PARSER)
bb0de313
LB
1729int sock_map_prog_update(struct bpf_map *map, struct bpf_prog *prog,
1730 struct bpf_prog *old, u32 which);
604326b4 1731int sock_map_get_from_fd(const union bpf_attr *attr, struct bpf_prog *prog);
bb0de313 1732int sock_map_prog_detach(const union bpf_attr *attr, enum bpf_prog_type ptype);
13b79d3f 1733int sock_map_update_elem_sys(struct bpf_map *map, void *key, void *value, u64 flags);
f747632b
LB
1734void sock_map_unhash(struct sock *sk);
1735void sock_map_close(struct sock *sk, long timeout);
6bdc9c4c 1736#else
604326b4 1737static inline int sock_map_prog_update(struct bpf_map *map,
bb0de313
LB
1738 struct bpf_prog *prog,
1739 struct bpf_prog *old, u32 which)
464bc0fd
JF
1740{
1741 return -EOPNOTSUPP;
1742}
fdb5c453 1743
604326b4
DB
1744static inline int sock_map_get_from_fd(const union bpf_attr *attr,
1745 struct bpf_prog *prog)
fdb5c453
SY
1746{
1747 return -EINVAL;
1748}
bb0de313
LB
1749
1750static inline int sock_map_prog_detach(const union bpf_attr *attr,
1751 enum bpf_prog_type ptype)
1752{
1753 return -EOPNOTSUPP;
1754}
13b79d3f
LB
1755
1756static inline int sock_map_update_elem_sys(struct bpf_map *map, void *key, void *value,
1757 u64 flags)
1758{
1759 return -EOPNOTSUPP;
1760}
f747632b 1761#endif /* CONFIG_BPF_STREAM_PARSER */
6bdc9c4c 1762
5dc4c4b7
MKL
1763#if defined(CONFIG_INET) && defined(CONFIG_BPF_SYSCALL)
1764void bpf_sk_reuseport_detach(struct sock *sk);
1765int bpf_fd_reuseport_array_lookup_elem(struct bpf_map *map, void *key,
1766 void *value);
1767int bpf_fd_reuseport_array_update_elem(struct bpf_map *map, void *key,
1768 void *value, u64 map_flags);
1769#else
1770static inline void bpf_sk_reuseport_detach(struct sock *sk)
1771{
1772}
1773
1774#ifdef CONFIG_BPF_SYSCALL
1775static inline int bpf_fd_reuseport_array_lookup_elem(struct bpf_map *map,
1776 void *key, void *value)
1777{
1778 return -EOPNOTSUPP;
1779}
1780
1781static inline int bpf_fd_reuseport_array_update_elem(struct bpf_map *map,
1782 void *key, void *value,
1783 u64 map_flags)
1784{
1785 return -EOPNOTSUPP;
1786}
1787#endif /* CONFIG_BPF_SYSCALL */
1788#endif /* defined(CONFIG_INET) && defined(CONFIG_BPF_SYSCALL) */
1789
d0003ec0 1790/* verifier prototypes for helper functions called from eBPF programs */
a2c83fff
DB
1791extern const struct bpf_func_proto bpf_map_lookup_elem_proto;
1792extern const struct bpf_func_proto bpf_map_update_elem_proto;
1793extern const struct bpf_func_proto bpf_map_delete_elem_proto;
f1a2e44a
MV
1794extern const struct bpf_func_proto bpf_map_push_elem_proto;
1795extern const struct bpf_func_proto bpf_map_pop_elem_proto;
1796extern const struct bpf_func_proto bpf_map_peek_elem_proto;
d0003ec0 1797
03e69b50 1798extern const struct bpf_func_proto bpf_get_prandom_u32_proto;
c04167ce 1799extern const struct bpf_func_proto bpf_get_smp_processor_id_proto;
2d0e30c3 1800extern const struct bpf_func_proto bpf_get_numa_node_id_proto;
04fd61ab 1801extern const struct bpf_func_proto bpf_tail_call_proto;
17ca8cbf 1802extern const struct bpf_func_proto bpf_ktime_get_ns_proto;
71d19214 1803extern const struct bpf_func_proto bpf_ktime_get_boot_ns_proto;
ffeedafb
AS
1804extern const struct bpf_func_proto bpf_get_current_pid_tgid_proto;
1805extern const struct bpf_func_proto bpf_get_current_uid_gid_proto;
1806extern const struct bpf_func_proto bpf_get_current_comm_proto;
d5a3b1f6 1807extern const struct bpf_func_proto bpf_get_stackid_proto;
c195651e 1808extern const struct bpf_func_proto bpf_get_stack_proto;
fa28dcb8 1809extern const struct bpf_func_proto bpf_get_task_stack_proto;
7b04d6d6
SL
1810extern const struct bpf_func_proto bpf_get_stackid_proto_pe;
1811extern const struct bpf_func_proto bpf_get_stack_proto_pe;
174a79ff 1812extern const struct bpf_func_proto bpf_sock_map_update_proto;
81110384 1813extern const struct bpf_func_proto bpf_sock_hash_update_proto;
bf6fa2c8 1814extern const struct bpf_func_proto bpf_get_current_cgroup_id_proto;
0f09abd1 1815extern const struct bpf_func_proto bpf_get_current_ancestor_cgroup_id_proto;
604326b4
DB
1816extern const struct bpf_func_proto bpf_msg_redirect_hash_proto;
1817extern const struct bpf_func_proto bpf_msg_redirect_map_proto;
1818extern const struct bpf_func_proto bpf_sk_redirect_hash_proto;
1819extern const struct bpf_func_proto bpf_sk_redirect_map_proto;
d83525ca
AS
1820extern const struct bpf_func_proto bpf_spin_lock_proto;
1821extern const struct bpf_func_proto bpf_spin_unlock_proto;
cd339431 1822extern const struct bpf_func_proto bpf_get_local_storage_proto;
d7a4cb9b
AI
1823extern const struct bpf_func_proto bpf_strtol_proto;
1824extern const struct bpf_func_proto bpf_strtoul_proto;
0d01da6a 1825extern const struct bpf_func_proto bpf_tcp_sock_proto;
5576b991 1826extern const struct bpf_func_proto bpf_jiffies64_proto;
b4490c5c 1827extern const struct bpf_func_proto bpf_get_ns_current_pid_tgid_proto;
0456ea17 1828extern const struct bpf_func_proto bpf_event_output_data_proto;
457f4436
AN
1829extern const struct bpf_func_proto bpf_ringbuf_output_proto;
1830extern const struct bpf_func_proto bpf_ringbuf_reserve_proto;
1831extern const struct bpf_func_proto bpf_ringbuf_submit_proto;
1832extern const struct bpf_func_proto bpf_ringbuf_discard_proto;
1833extern const struct bpf_func_proto bpf_ringbuf_query_proto;
af7ec138 1834extern const struct bpf_func_proto bpf_skc_to_tcp6_sock_proto;
478cfbdf
YS
1835extern const struct bpf_func_proto bpf_skc_to_tcp_sock_proto;
1836extern const struct bpf_func_proto bpf_skc_to_tcp_timewait_sock_proto;
1837extern const struct bpf_func_proto bpf_skc_to_tcp_request_sock_proto;
0d4fad3e 1838extern const struct bpf_func_proto bpf_skc_to_udp6_sock_proto;
07be4c4a 1839extern const struct bpf_func_proto bpf_copy_from_user_proto;
c4d0bfb4 1840extern const struct bpf_func_proto bpf_snprintf_btf_proto;
eaa6bcb7 1841extern const struct bpf_func_proto bpf_per_cpu_ptr_proto;
63d9b80d 1842extern const struct bpf_func_proto bpf_this_cpu_ptr_proto;
cd339431 1843
fc611f47
KS
1844const struct bpf_func_proto *bpf_tracing_func_proto(
1845 enum bpf_func_id func_id, const struct bpf_prog *prog);
1846
958a3f2d
JO
1847const struct bpf_func_proto *tracing_prog_func_proto(
1848 enum bpf_func_id func_id, const struct bpf_prog *prog);
1849
3ad00405
DB
1850/* Shared helpers among cBPF and eBPF. */
1851void bpf_user_rnd_init_once(void);
1852u64 bpf_user_rnd_u32(u64 r1, u64 r2, u64 r3, u64 r4, u64 r5);
6890896b 1853u64 bpf_get_raw_cpu_id(u64 r1, u64 r2, u64 r3, u64 r4, u64 r5);
3ad00405 1854
c64b7983 1855#if defined(CONFIG_NET)
46f8bc92
MKL
1856bool bpf_sock_common_is_valid_access(int off, int size,
1857 enum bpf_access_type type,
1858 struct bpf_insn_access_aux *info);
c64b7983
JS
1859bool bpf_sock_is_valid_access(int off, int size, enum bpf_access_type type,
1860 struct bpf_insn_access_aux *info);
1861u32 bpf_sock_convert_ctx_access(enum bpf_access_type type,
1862 const struct bpf_insn *si,
1863 struct bpf_insn *insn_buf,
1864 struct bpf_prog *prog,
1865 u32 *target_size);
1866#else
46f8bc92
MKL
1867static inline bool bpf_sock_common_is_valid_access(int off, int size,
1868 enum bpf_access_type type,
1869 struct bpf_insn_access_aux *info)
1870{
1871 return false;
1872}
c64b7983
JS
1873static inline bool bpf_sock_is_valid_access(int off, int size,
1874 enum bpf_access_type type,
1875 struct bpf_insn_access_aux *info)
1876{
1877 return false;
1878}
1879static inline u32 bpf_sock_convert_ctx_access(enum bpf_access_type type,
1880 const struct bpf_insn *si,
1881 struct bpf_insn *insn_buf,
1882 struct bpf_prog *prog,
1883 u32 *target_size)
1884{
1885 return 0;
1886}
1887#endif
1888
655a51e5 1889#ifdef CONFIG_INET
91cc1a99
AS
1890struct sk_reuseport_kern {
1891 struct sk_buff *skb;
1892 struct sock *sk;
1893 struct sock *selected_sk;
1894 void *data_end;
1895 u32 hash;
1896 u32 reuseport_id;
1897 bool bind_inany;
1898};
655a51e5
MKL
1899bool bpf_tcp_sock_is_valid_access(int off, int size, enum bpf_access_type type,
1900 struct bpf_insn_access_aux *info);
1901
1902u32 bpf_tcp_sock_convert_ctx_access(enum bpf_access_type type,
1903 const struct bpf_insn *si,
1904 struct bpf_insn *insn_buf,
1905 struct bpf_prog *prog,
1906 u32 *target_size);
7f94208c
Y
1907
1908bool bpf_xdp_sock_is_valid_access(int off, int size, enum bpf_access_type type,
1909 struct bpf_insn_access_aux *info);
1910
1911u32 bpf_xdp_sock_convert_ctx_access(enum bpf_access_type type,
1912 const struct bpf_insn *si,
1913 struct bpf_insn *insn_buf,
1914 struct bpf_prog *prog,
1915 u32 *target_size);
655a51e5
MKL
1916#else
1917static inline bool bpf_tcp_sock_is_valid_access(int off, int size,
1918 enum bpf_access_type type,
1919 struct bpf_insn_access_aux *info)
1920{
1921 return false;
1922}
1923
1924static inline u32 bpf_tcp_sock_convert_ctx_access(enum bpf_access_type type,
1925 const struct bpf_insn *si,
1926 struct bpf_insn *insn_buf,
1927 struct bpf_prog *prog,
1928 u32 *target_size)
1929{
1930 return 0;
1931}
7f94208c
Y
1932static inline bool bpf_xdp_sock_is_valid_access(int off, int size,
1933 enum bpf_access_type type,
1934 struct bpf_insn_access_aux *info)
1935{
1936 return false;
1937}
1938
1939static inline u32 bpf_xdp_sock_convert_ctx_access(enum bpf_access_type type,
1940 const struct bpf_insn *si,
1941 struct bpf_insn *insn_buf,
1942 struct bpf_prog *prog,
1943 u32 *target_size)
1944{
1945 return 0;
1946}
655a51e5
MKL
1947#endif /* CONFIG_INET */
1948
5964b200 1949enum bpf_text_poke_type {
b553a6ec
DB
1950 BPF_MOD_CALL,
1951 BPF_MOD_JUMP,
5964b200 1952};
4b3da77b 1953
5964b200
AS
1954int bpf_arch_text_poke(void *ip, enum bpf_text_poke_type t,
1955 void *addr1, void *addr2);
1956
eae2e83e 1957struct btf_id_set;
2af30f11 1958bool btf_id_set_contains(const struct btf_id_set *set, u32 id);
eae2e83e 1959
99c55f7d 1960#endif /* _LINUX_BPF_H */