1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* Copyright (c) 2018 Facebook */ 3 4 #ifndef _LINUX_BTF_H 5 #define _LINUX_BTF_H 1 6 7 #include <linux/types.h> 8 #include <linux/bpfptr.h> 9 #include <linux/bsearch.h> 10 #include <linux/btf_ids.h> 11 #include <uapi/linux/btf.h> 12 #include <uapi/linux/bpf.h> 13 14 #define BTF_TYPE_EMIT(type) ((void)(type *)0) 15 #define BTF_TYPE_EMIT_ENUM(enum_val) ((void)enum_val) 16 17 /* These need to be macros, as the expressions are used in assembler input */ 18 #define KF_ACQUIRE (1 << 0) /* kfunc is an acquire function */ 19 #define KF_RELEASE (1 << 1) /* kfunc is a release function */ 20 #define KF_RET_NULL (1 << 2) /* kfunc returns a pointer that may be NULL */ 21 /* Trusted arguments are those which are guaranteed to be valid when passed to 22 * the kfunc. It is used to enforce that pointers obtained from either acquire 23 * kfuncs, or from the main kernel on a tracepoint or struct_ops callback 24 * invocation, remain unmodified when being passed to helpers taking trusted 25 * args. 26 * 27 * Consider, for example, the following new task tracepoint: 28 * 29 * SEC("tp_btf/task_newtask") 30 * int BPF_PROG(new_task_tp, struct task_struct *task, u64 clone_flags) 31 * { 32 * ... 33 * } 34 * 35 * And the following kfunc: 36 * 37 * BTF_ID_FLAGS(func, bpf_task_acquire, KF_ACQUIRE | KF_TRUSTED_ARGS) 38 * 39 * All invocations to the kfunc must pass the unmodified, unwalked task: 40 * 41 * bpf_task_acquire(task); // Allowed 42 * bpf_task_acquire(task->last_wakee); // Rejected, walked task 43 * 44 * Programs may also pass referenced tasks directly to the kfunc: 45 * 46 * struct task_struct *acquired; 47 * 48 * acquired = bpf_task_acquire(task); // Allowed, same as above 49 * bpf_task_acquire(acquired); // Allowed 50 * bpf_task_acquire(task); // Allowed 51 * bpf_task_acquire(acquired->last_wakee); // Rejected, walked task 52 * 53 * Programs may _not_, however, pass a task from an arbitrary fentry/fexit, or 54 * kprobe/kretprobe to the kfunc, as BPF cannot guarantee that all of these 55 * pointers are guaranteed to be safe. For example, the following BPF program 56 * would be rejected: 57 * 58 * SEC("kretprobe/free_task") 59 * int BPF_PROG(free_task_probe, struct task_struct *tsk) 60 * { 61 * struct task_struct *acquired; 62 * 63 * acquired = bpf_task_acquire(acquired); // Rejected, not a trusted pointer 64 * bpf_task_release(acquired); 65 * 66 * return 0; 67 * } 68 */ 69 #define KF_TRUSTED_ARGS (1 << 4) /* kfunc only takes trusted pointer arguments */ 70 #define KF_SLEEPABLE (1 << 5) /* kfunc may sleep */ 71 #define KF_DESTRUCTIVE (1 << 6) /* kfunc performs destructive actions */ 72 #define KF_RCU (1 << 7) /* kfunc takes either rcu or trusted pointer arguments */ 73 /* only one of KF_ITER_{NEW,NEXT,DESTROY} could be specified per kfunc */ 74 #define KF_ITER_NEW (1 << 8) /* kfunc implements BPF iter constructor */ 75 #define KF_ITER_NEXT (1 << 9) /* kfunc implements BPF iter next method */ 76 #define KF_ITER_DESTROY (1 << 10) /* kfunc implements BPF iter destructor */ 77 78 /* 79 * Tag marking a kernel function as a kfunc. This is meant to minimize the 80 * amount of copy-paste that kfunc authors have to include for correctness so 81 * as to avoid issues such as the compiler inlining or eliding either a static 82 * kfunc, or a global kfunc in an LTO build. 83 */ 84 #define __bpf_kfunc __used noinline 85 86 /* 87 * Return the name of the passed struct, if exists, or halt the build if for 88 * example the structure gets renamed. In this way, developers have to revisit 89 * the code using that structure name, and update it accordingly. 90 */ 91 #define stringify_struct(x) \ 92 ({ BUILD_BUG_ON(sizeof(struct x) < 0); \ 93 __stringify(x); }) 94 95 struct btf; 96 struct btf_member; 97 struct btf_type; 98 union bpf_attr; 99 struct btf_show; 100 struct btf_id_set; 101 102 struct btf_kfunc_id_set { 103 struct module *owner; 104 struct btf_id_set8 *set; 105 }; 106 107 struct btf_id_dtor_kfunc { 108 u32 btf_id; 109 u32 kfunc_btf_id; 110 }; 111 112 struct btf_struct_meta { 113 u32 btf_id; 114 struct btf_record *record; 115 }; 116 117 struct btf_struct_metas { 118 u32 cnt; 119 struct btf_struct_meta types[]; 120 }; 121 122 extern const struct file_operations btf_fops; 123 124 void btf_get(struct btf *btf); 125 void btf_put(struct btf *btf); 126 int btf_new_fd(const union bpf_attr *attr, bpfptr_t uattr, u32 uattr_sz); 127 struct btf *btf_get_by_fd(int fd); 128 int btf_get_info_by_fd(const struct btf *btf, 129 const union bpf_attr *attr, 130 union bpf_attr __user *uattr); 131 /* Figure out the size of a type_id. If type_id is a modifier 132 * (e.g. const), it will be resolved to find out the type with size. 133 * 134 * For example: 135 * In describing "const void *", type_id is "const" and "const" 136 * refers to "void *". The return type will be "void *". 137 * 138 * If type_id is a simple "int", then return type will be "int". 139 * 140 * @btf: struct btf object 141 * @type_id: Find out the size of type_id. The type_id of the return 142 * type is set to *type_id. 143 * @ret_size: It can be NULL. If not NULL, the size of the return 144 * type is set to *ret_size. 145 * Return: The btf_type (resolved to another type with size info if needed). 146 * NULL is returned if type_id itself does not have size info 147 * (e.g. void) or it cannot be resolved to another type that 148 * has size info. 149 * *type_id and *ret_size will not be changed in the 150 * NULL return case. 151 */ 152 const struct btf_type *btf_type_id_size(const struct btf *btf, 153 u32 *type_id, 154 u32 *ret_size); 155 156 /* 157 * Options to control show behaviour. 158 * - BTF_SHOW_COMPACT: no formatting around type information 159 * - BTF_SHOW_NONAME: no struct/union member names/types 160 * - BTF_SHOW_PTR_RAW: show raw (unobfuscated) pointer values; 161 * equivalent to %px. 162 * - BTF_SHOW_ZERO: show zero-valued struct/union members; they 163 * are not displayed by default 164 * - BTF_SHOW_UNSAFE: skip use of bpf_probe_read() to safely read 165 * data before displaying it. 166 */ 167 #define BTF_SHOW_COMPACT BTF_F_COMPACT 168 #define BTF_SHOW_NONAME BTF_F_NONAME 169 #define BTF_SHOW_PTR_RAW BTF_F_PTR_RAW 170 #define BTF_SHOW_ZERO BTF_F_ZERO 171 #define BTF_SHOW_UNSAFE (1ULL << 4) 172 173 void btf_type_seq_show(const struct btf *btf, u32 type_id, void *obj, 174 struct seq_file *m); 175 int btf_type_seq_show_flags(const struct btf *btf, u32 type_id, void *obj, 176 struct seq_file *m, u64 flags); 177 178 /* 179 * Copy len bytes of string representation of obj of BTF type_id into buf. 180 * 181 * @btf: struct btf object 182 * @type_id: type id of type obj points to 183 * @obj: pointer to typed data 184 * @buf: buffer to write to 185 * @len: maximum length to write to buf 186 * @flags: show options (see above) 187 * 188 * Return: length that would have been/was copied as per snprintf, or 189 * negative error. 190 */ 191 int btf_type_snprintf_show(const struct btf *btf, u32 type_id, void *obj, 192 char *buf, int len, u64 flags); 193 194 int btf_get_fd_by_id(u32 id); 195 u32 btf_obj_id(const struct btf *btf); 196 bool btf_is_kernel(const struct btf *btf); 197 bool btf_is_module(const struct btf *btf); 198 struct module *btf_try_get_module(const struct btf *btf); 199 u32 btf_nr_types(const struct btf *btf); 200 bool btf_member_is_reg_int(const struct btf *btf, const struct btf_type *s, 201 const struct btf_member *m, 202 u32 expected_offset, u32 expected_size); 203 int btf_find_spin_lock(const struct btf *btf, const struct btf_type *t); 204 int btf_find_timer(const struct btf *btf, const struct btf_type *t); 205 struct btf_record *btf_parse_fields(const struct btf *btf, const struct btf_type *t, 206 u32 field_mask, u32 value_size); 207 int btf_check_and_fixup_fields(const struct btf *btf, struct btf_record *rec); 208 bool btf_type_is_void(const struct btf_type *t); 209 s32 btf_find_by_name_kind(const struct btf *btf, const char *name, u8 kind); 210 const struct btf_type *btf_type_skip_modifiers(const struct btf *btf, 211 u32 id, u32 *res_id); 212 const struct btf_type *btf_type_resolve_ptr(const struct btf *btf, 213 u32 id, u32 *res_id); 214 const struct btf_type *btf_type_resolve_func_ptr(const struct btf *btf, 215 u32 id, u32 *res_id); 216 const struct btf_type * 217 btf_resolve_size(const struct btf *btf, const struct btf_type *type, 218 u32 *type_size); 219 const char *btf_type_str(const struct btf_type *t); 220 221 #define for_each_member(i, struct_type, member) \ 222 for (i = 0, member = btf_type_member(struct_type); \ 223 i < btf_type_vlen(struct_type); \ 224 i++, member++) 225 226 #define for_each_vsi(i, datasec_type, member) \ 227 for (i = 0, member = btf_type_var_secinfo(datasec_type); \ 228 i < btf_type_vlen(datasec_type); \ 229 i++, member++) 230 231 static inline bool btf_type_is_ptr(const struct btf_type *t) 232 { 233 return BTF_INFO_KIND(t->info) == BTF_KIND_PTR; 234 } 235 236 static inline bool btf_type_is_int(const struct btf_type *t) 237 { 238 return BTF_INFO_KIND(t->info) == BTF_KIND_INT; 239 } 240 241 static inline bool btf_type_is_small_int(const struct btf_type *t) 242 { 243 return btf_type_is_int(t) && t->size <= sizeof(u64); 244 } 245 246 static inline u8 btf_int_encoding(const struct btf_type *t) 247 { 248 return BTF_INT_ENCODING(*(u32 *)(t + 1)); 249 } 250 251 static inline bool btf_type_is_signed_int(const struct btf_type *t) 252 { 253 return btf_type_is_int(t) && (btf_int_encoding(t) & BTF_INT_SIGNED); 254 } 255 256 static inline bool btf_type_is_enum(const struct btf_type *t) 257 { 258 return BTF_INFO_KIND(t->info) == BTF_KIND_ENUM; 259 } 260 261 static inline bool btf_is_any_enum(const struct btf_type *t) 262 { 263 return BTF_INFO_KIND(t->info) == BTF_KIND_ENUM || 264 BTF_INFO_KIND(t->info) == BTF_KIND_ENUM64; 265 } 266 267 static inline bool btf_kind_core_compat(const struct btf_type *t1, 268 const struct btf_type *t2) 269 { 270 return BTF_INFO_KIND(t1->info) == BTF_INFO_KIND(t2->info) || 271 (btf_is_any_enum(t1) && btf_is_any_enum(t2)); 272 } 273 274 static inline bool str_is_empty(const char *s) 275 { 276 return !s || !s[0]; 277 } 278 279 static inline u16 btf_kind(const struct btf_type *t) 280 { 281 return BTF_INFO_KIND(t->info); 282 } 283 284 static inline bool btf_is_enum(const struct btf_type *t) 285 { 286 return btf_kind(t) == BTF_KIND_ENUM; 287 } 288 289 static inline bool btf_is_enum64(const struct btf_type *t) 290 { 291 return btf_kind(t) == BTF_KIND_ENUM64; 292 } 293 294 static inline u64 btf_enum64_value(const struct btf_enum64 *e) 295 { 296 return ((u64)e->val_hi32 << 32) | e->val_lo32; 297 } 298 299 static inline bool btf_is_composite(const struct btf_type *t) 300 { 301 u16 kind = btf_kind(t); 302 303 return kind == BTF_KIND_STRUCT || kind == BTF_KIND_UNION; 304 } 305 306 static inline bool btf_is_array(const struct btf_type *t) 307 { 308 return btf_kind(t) == BTF_KIND_ARRAY; 309 } 310 311 static inline bool btf_is_int(const struct btf_type *t) 312 { 313 return btf_kind(t) == BTF_KIND_INT; 314 } 315 316 static inline bool btf_is_ptr(const struct btf_type *t) 317 { 318 return btf_kind(t) == BTF_KIND_PTR; 319 } 320 321 static inline u8 btf_int_offset(const struct btf_type *t) 322 { 323 return BTF_INT_OFFSET(*(u32 *)(t + 1)); 324 } 325 326 static inline bool btf_type_is_scalar(const struct btf_type *t) 327 { 328 return btf_type_is_int(t) || btf_type_is_enum(t); 329 } 330 331 static inline bool btf_type_is_typedef(const struct btf_type *t) 332 { 333 return BTF_INFO_KIND(t->info) == BTF_KIND_TYPEDEF; 334 } 335 336 static inline bool btf_type_is_volatile(const struct btf_type *t) 337 { 338 return BTF_INFO_KIND(t->info) == BTF_KIND_VOLATILE; 339 } 340 341 static inline bool btf_type_is_func(const struct btf_type *t) 342 { 343 return BTF_INFO_KIND(t->info) == BTF_KIND_FUNC; 344 } 345 346 static inline bool btf_type_is_func_proto(const struct btf_type *t) 347 { 348 return BTF_INFO_KIND(t->info) == BTF_KIND_FUNC_PROTO; 349 } 350 351 static inline bool btf_type_is_var(const struct btf_type *t) 352 { 353 return BTF_INFO_KIND(t->info) == BTF_KIND_VAR; 354 } 355 356 static inline bool btf_type_is_type_tag(const struct btf_type *t) 357 { 358 return BTF_INFO_KIND(t->info) == BTF_KIND_TYPE_TAG; 359 } 360 361 /* union is only a special case of struct: 362 * all its offsetof(member) == 0 363 */ 364 static inline bool btf_type_is_struct(const struct btf_type *t) 365 { 366 u8 kind = BTF_INFO_KIND(t->info); 367 368 return kind == BTF_KIND_STRUCT || kind == BTF_KIND_UNION; 369 } 370 371 static inline bool __btf_type_is_struct(const struct btf_type *t) 372 { 373 return BTF_INFO_KIND(t->info) == BTF_KIND_STRUCT; 374 } 375 376 static inline bool btf_type_is_array(const struct btf_type *t) 377 { 378 return BTF_INFO_KIND(t->info) == BTF_KIND_ARRAY; 379 } 380 381 static inline u16 btf_type_vlen(const struct btf_type *t) 382 { 383 return BTF_INFO_VLEN(t->info); 384 } 385 386 static inline u16 btf_vlen(const struct btf_type *t) 387 { 388 return btf_type_vlen(t); 389 } 390 391 static inline u16 btf_func_linkage(const struct btf_type *t) 392 { 393 return BTF_INFO_VLEN(t->info); 394 } 395 396 static inline bool btf_type_kflag(const struct btf_type *t) 397 { 398 return BTF_INFO_KFLAG(t->info); 399 } 400 401 static inline u32 __btf_member_bit_offset(const struct btf_type *struct_type, 402 const struct btf_member *member) 403 { 404 return btf_type_kflag(struct_type) ? BTF_MEMBER_BIT_OFFSET(member->offset) 405 : member->offset; 406 } 407 408 static inline u32 __btf_member_bitfield_size(const struct btf_type *struct_type, 409 const struct btf_member *member) 410 { 411 return btf_type_kflag(struct_type) ? BTF_MEMBER_BITFIELD_SIZE(member->offset) 412 : 0; 413 } 414 415 static inline struct btf_member *btf_members(const struct btf_type *t) 416 { 417 return (struct btf_member *)(t + 1); 418 } 419 420 static inline u32 btf_member_bit_offset(const struct btf_type *t, u32 member_idx) 421 { 422 const struct btf_member *m = btf_members(t) + member_idx; 423 424 return __btf_member_bit_offset(t, m); 425 } 426 427 static inline u32 btf_member_bitfield_size(const struct btf_type *t, u32 member_idx) 428 { 429 const struct btf_member *m = btf_members(t) + member_idx; 430 431 return __btf_member_bitfield_size(t, m); 432 } 433 434 static inline const struct btf_member *btf_type_member(const struct btf_type *t) 435 { 436 return (const struct btf_member *)(t + 1); 437 } 438 439 static inline struct btf_array *btf_array(const struct btf_type *t) 440 { 441 return (struct btf_array *)(t + 1); 442 } 443 444 static inline struct btf_enum *btf_enum(const struct btf_type *t) 445 { 446 return (struct btf_enum *)(t + 1); 447 } 448 449 static inline struct btf_enum64 *btf_enum64(const struct btf_type *t) 450 { 451 return (struct btf_enum64 *)(t + 1); 452 } 453 454 static inline const struct btf_var_secinfo *btf_type_var_secinfo( 455 const struct btf_type *t) 456 { 457 return (const struct btf_var_secinfo *)(t + 1); 458 } 459 460 static inline struct btf_param *btf_params(const struct btf_type *t) 461 { 462 return (struct btf_param *)(t + 1); 463 } 464 465 static inline int btf_id_cmp_func(const void *a, const void *b) 466 { 467 const int *pa = a, *pb = b; 468 469 return *pa - *pb; 470 } 471 472 static inline bool btf_id_set_contains(const struct btf_id_set *set, u32 id) 473 { 474 return bsearch(&id, set->ids, set->cnt, sizeof(u32), btf_id_cmp_func) != NULL; 475 } 476 477 static inline void *btf_id_set8_contains(const struct btf_id_set8 *set, u32 id) 478 { 479 return bsearch(&id, set->pairs, set->cnt, sizeof(set->pairs[0]), btf_id_cmp_func); 480 } 481 482 struct bpf_prog; 483 struct bpf_verifier_log; 484 485 #ifdef CONFIG_BPF_SYSCALL 486 const struct btf_type *btf_type_by_id(const struct btf *btf, u32 type_id); 487 const char *btf_name_by_offset(const struct btf *btf, u32 offset); 488 struct btf *btf_parse_vmlinux(void); 489 struct btf *bpf_prog_get_target_btf(const struct bpf_prog *prog); 490 u32 *btf_kfunc_id_set_contains(const struct btf *btf, 491 enum bpf_prog_type prog_type, 492 u32 kfunc_btf_id); 493 u32 *btf_kfunc_is_modify_return(const struct btf *btf, u32 kfunc_btf_id); 494 int register_btf_kfunc_id_set(enum bpf_prog_type prog_type, 495 const struct btf_kfunc_id_set *s); 496 int register_btf_fmodret_id_set(const struct btf_kfunc_id_set *kset); 497 s32 btf_find_dtor_kfunc(struct btf *btf, u32 btf_id); 498 int register_btf_id_dtor_kfuncs(const struct btf_id_dtor_kfunc *dtors, u32 add_cnt, 499 struct module *owner); 500 struct btf_struct_meta *btf_find_struct_meta(const struct btf *btf, u32 btf_id); 501 const struct btf_member * 502 btf_get_prog_ctx_type(struct bpf_verifier_log *log, const struct btf *btf, 503 const struct btf_type *t, enum bpf_prog_type prog_type, 504 int arg); 505 int get_kern_ctx_btf_id(struct bpf_verifier_log *log, enum bpf_prog_type prog_type); 506 bool btf_types_are_same(const struct btf *btf1, u32 id1, 507 const struct btf *btf2, u32 id2); 508 #else 509 static inline const struct btf_type *btf_type_by_id(const struct btf *btf, 510 u32 type_id) 511 { 512 return NULL; 513 } 514 static inline const char *btf_name_by_offset(const struct btf *btf, 515 u32 offset) 516 { 517 return NULL; 518 } 519 static inline u32 *btf_kfunc_id_set_contains(const struct btf *btf, 520 enum bpf_prog_type prog_type, 521 u32 kfunc_btf_id) 522 { 523 return NULL; 524 } 525 static inline int register_btf_kfunc_id_set(enum bpf_prog_type prog_type, 526 const struct btf_kfunc_id_set *s) 527 { 528 return 0; 529 } 530 static inline s32 btf_find_dtor_kfunc(struct btf *btf, u32 btf_id) 531 { 532 return -ENOENT; 533 } 534 static inline int register_btf_id_dtor_kfuncs(const struct btf_id_dtor_kfunc *dtors, 535 u32 add_cnt, struct module *owner) 536 { 537 return 0; 538 } 539 static inline struct btf_struct_meta *btf_find_struct_meta(const struct btf *btf, u32 btf_id) 540 { 541 return NULL; 542 } 543 static inline const struct btf_member * 544 btf_get_prog_ctx_type(struct bpf_verifier_log *log, const struct btf *btf, 545 const struct btf_type *t, enum bpf_prog_type prog_type, 546 int arg) 547 { 548 return NULL; 549 } 550 static inline int get_kern_ctx_btf_id(struct bpf_verifier_log *log, 551 enum bpf_prog_type prog_type) { 552 return -EINVAL; 553 } 554 static inline bool btf_types_are_same(const struct btf *btf1, u32 id1, 555 const struct btf *btf2, u32 id2) 556 { 557 return false; 558 } 559 #endif 560 561 static inline bool btf_type_is_struct_ptr(struct btf *btf, const struct btf_type *t) 562 { 563 if (!btf_type_is_ptr(t)) 564 return false; 565 566 t = btf_type_skip_modifiers(btf, t->type, NULL); 567 568 return btf_type_is_struct(t); 569 } 570 571 #endif 572