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