1 /* SPDX-License-Identifier: GPL-2.0 */
2 /* Copyright (c) 2018 Facebook */
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>
14 #define BTF_TYPE_EMIT(type) ((void)(type *)0)
15 #define BTF_TYPE_EMIT_ENUM(enum_val) ((void)enum_val)
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
27 * Consider, for example, the following new task tracepoint:
29 * SEC("tp_btf/task_newtask")
30 * int BPF_PROG(new_task_tp, struct task_struct *task, u64 clone_flags)
35 * And the following kfunc:
37 * BTF_ID_FLAGS(func, bpf_task_acquire, KF_ACQUIRE | KF_TRUSTED_ARGS)
39 * All invocations to the kfunc must pass the unmodified, unwalked task:
41 * bpf_task_acquire(task); // Allowed
42 * bpf_task_acquire(task->last_wakee); // Rejected, walked task
44 * Programs may also pass referenced tasks directly to the kfunc:
46 * struct task_struct *acquired;
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
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
58 * SEC("kretprobe/free_task")
59 * int BPF_PROG(free_task_probe, struct task_struct *tsk)
61 * struct task_struct *acquired;
63 * acquired = bpf_task_acquire(acquired); // Rejected, not a trusted pointer
64 * bpf_task_release(acquired);
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 #define KF_RCU_PROTECTED (1 << 11) /* kfunc should be protected by rcu cs when they are invoked */
78 #define KF_FASTCALL (1 << 12) /* kfunc supports bpf_fastcall protocol */
79 #define KF_ARENA_RET (1 << 13) /* kfunc returns an arena pointer */
80 #define KF_ARENA_ARG1 (1 << 14) /* kfunc takes an arena pointer as its first argument */
81 #define KF_ARENA_ARG2 (1 << 15) /* kfunc takes an arena pointer as its second argument */
84 * Tag marking a kernel function as a kfunc. This is meant to minimize the
85 * amount of copy-paste that kfunc authors have to include for correctness so
86 * as to avoid issues such as the compiler inlining or eliding either a static
87 * kfunc, or a global kfunc in an LTO build.
89 #define __bpf_kfunc __used __retain noinline
91 #define __bpf_kfunc_start_defs() \
93 __diag_ignore_all("-Wmissing-declarations", \
94 "Global kfuncs as their definitions will be in BTF");\
95 __diag_ignore_all("-Wmissing-prototypes", \
96 "Global kfuncs as their definitions will be in BTF")
98 #define __bpf_kfunc_end_defs() __diag_pop()
99 #define __bpf_hook_start() __bpf_kfunc_start_defs()
100 #define __bpf_hook_end() __bpf_kfunc_end_defs()
103 * Return the name of the passed struct, if exists, or halt the build if for
104 * example the structure gets renamed. In this way, developers have to revisit
105 * the code using that structure name, and update it accordingly.
107 #define stringify_struct(x) \
108 ({ BUILD_BUG_ON(sizeof(struct x) < 0); \
119 typedef int (*btf_kfunc_filter_t
)(const struct bpf_prog
*prog
, u32 kfunc_id
);
121 struct btf_kfunc_id_set
{
122 struct module
*owner
;
123 struct btf_id_set8
*set
;
124 btf_kfunc_filter_t filter
;
127 struct btf_id_dtor_kfunc
{
132 struct btf_struct_meta
{
134 struct btf_record
*record
;
137 struct btf_struct_metas
{
139 struct btf_struct_meta types
[];
142 extern const struct file_operations btf_fops
;
144 const char *btf_get_name(const struct btf
*btf
);
145 void btf_get(struct btf
*btf
);
146 void btf_put(struct btf
*btf
);
147 const struct btf_header
*btf_header(const struct btf
*btf
);
148 int btf_new_fd(const union bpf_attr
*attr
, bpfptr_t uattr
, u32 uattr_sz
);
149 struct btf
*btf_get_by_fd(int fd
);
150 int btf_get_info_by_fd(const struct btf
*btf
,
151 const union bpf_attr
*attr
,
152 union bpf_attr __user
*uattr
);
153 /* Figure out the size of a type_id. If type_id is a modifier
154 * (e.g. const), it will be resolved to find out the type with size.
157 * In describing "const void *", type_id is "const" and "const"
158 * refers to "void *". The return type will be "void *".
160 * If type_id is a simple "int", then return type will be "int".
162 * @btf: struct btf object
163 * @type_id: Find out the size of type_id. The type_id of the return
164 * type is set to *type_id.
165 * @ret_size: It can be NULL. If not NULL, the size of the return
166 * type is set to *ret_size.
167 * Return: The btf_type (resolved to another type with size info if needed).
168 * NULL is returned if type_id itself does not have size info
169 * (e.g. void) or it cannot be resolved to another type that
171 * *type_id and *ret_size will not be changed in the
174 const struct btf_type
*btf_type_id_size(const struct btf
*btf
,
179 * Options to control show behaviour.
180 * - BTF_SHOW_COMPACT: no formatting around type information
181 * - BTF_SHOW_NONAME: no struct/union member names/types
182 * - BTF_SHOW_PTR_RAW: show raw (unobfuscated) pointer values;
184 * - BTF_SHOW_ZERO: show zero-valued struct/union members; they
185 * are not displayed by default
186 * - BTF_SHOW_UNSAFE: skip use of bpf_probe_read() to safely read
187 * data before displaying it.
189 #define BTF_SHOW_COMPACT BTF_F_COMPACT
190 #define BTF_SHOW_NONAME BTF_F_NONAME
191 #define BTF_SHOW_PTR_RAW BTF_F_PTR_RAW
192 #define BTF_SHOW_ZERO BTF_F_ZERO
193 #define BTF_SHOW_UNSAFE (1ULL << 4)
195 void btf_type_seq_show(const struct btf
*btf
, u32 type_id
, void *obj
,
197 int btf_type_seq_show_flags(const struct btf
*btf
, u32 type_id
, void *obj
,
198 struct seq_file
*m
, u64 flags
);
201 * Copy len bytes of string representation of obj of BTF type_id into buf.
203 * @btf: struct btf object
204 * @type_id: type id of type obj points to
205 * @obj: pointer to typed data
206 * @buf: buffer to write to
207 * @len: maximum length to write to buf
208 * @flags: show options (see above)
210 * Return: length that would have been/was copied as per snprintf, or
213 int btf_type_snprintf_show(const struct btf
*btf
, u32 type_id
, void *obj
,
214 char *buf
, int len
, u64 flags
);
216 int btf_get_fd_by_id(u32 id
);
217 u32
btf_obj_id(const struct btf
*btf
);
218 bool btf_is_kernel(const struct btf
*btf
);
219 bool btf_is_module(const struct btf
*btf
);
220 bool btf_is_vmlinux(const struct btf
*btf
);
221 struct module
*btf_try_get_module(const struct btf
*btf
);
222 u32
btf_nr_types(const struct btf
*btf
);
223 struct btf
*btf_base_btf(const struct btf
*btf
);
224 bool btf_member_is_reg_int(const struct btf
*btf
, const struct btf_type
*s
,
225 const struct btf_member
*m
,
226 u32 expected_offset
, u32 expected_size
);
227 struct btf_record
*btf_parse_fields(const struct btf
*btf
, const struct btf_type
*t
,
228 u32 field_mask
, u32 value_size
);
229 int btf_check_and_fixup_fields(const struct btf
*btf
, struct btf_record
*rec
);
230 bool btf_type_is_void(const struct btf_type
*t
);
231 s32
btf_find_by_name_kind(const struct btf
*btf
, const char *name
, u8 kind
);
232 s32
bpf_find_btf_id(const char *name
, u32 kind
, struct btf
**btf_p
);
233 const struct btf_type
*btf_type_skip_modifiers(const struct btf
*btf
,
234 u32 id
, u32
*res_id
);
235 const struct btf_type
*btf_type_resolve_ptr(const struct btf
*btf
,
236 u32 id
, u32
*res_id
);
237 const struct btf_type
*btf_type_resolve_func_ptr(const struct btf
*btf
,
238 u32 id
, u32
*res_id
);
239 const struct btf_type
*
240 btf_resolve_size(const struct btf
*btf
, const struct btf_type
*type
,
242 const char *btf_type_str(const struct btf_type
*t
);
244 #define for_each_member(i, struct_type, member) \
245 for (i = 0, member = btf_type_member(struct_type); \
246 i < btf_type_vlen(struct_type); \
249 #define for_each_vsi(i, datasec_type, member) \
250 for (i = 0, member = btf_type_var_secinfo(datasec_type); \
251 i < btf_type_vlen(datasec_type); \
254 static inline bool btf_type_is_ptr(const struct btf_type
*t
)
256 return BTF_INFO_KIND(t
->info
) == BTF_KIND_PTR
;
259 static inline bool btf_type_is_int(const struct btf_type
*t
)
261 return BTF_INFO_KIND(t
->info
) == BTF_KIND_INT
;
264 static inline bool btf_type_is_small_int(const struct btf_type
*t
)
266 return btf_type_is_int(t
) && t
->size
<= sizeof(u64
);
269 static inline u8
btf_int_encoding(const struct btf_type
*t
)
271 return BTF_INT_ENCODING(*(u32
*)(t
+ 1));
274 static inline bool btf_type_is_signed_int(const struct btf_type
*t
)
276 return btf_type_is_int(t
) && (btf_int_encoding(t
) & BTF_INT_SIGNED
);
279 static inline bool btf_type_is_enum(const struct btf_type
*t
)
281 return BTF_INFO_KIND(t
->info
) == BTF_KIND_ENUM
;
284 static inline bool btf_is_any_enum(const struct btf_type
*t
)
286 return BTF_INFO_KIND(t
->info
) == BTF_KIND_ENUM
||
287 BTF_INFO_KIND(t
->info
) == BTF_KIND_ENUM64
;
290 static inline bool btf_kind_core_compat(const struct btf_type
*t1
,
291 const struct btf_type
*t2
)
293 return BTF_INFO_KIND(t1
->info
) == BTF_INFO_KIND(t2
->info
) ||
294 (btf_is_any_enum(t1
) && btf_is_any_enum(t2
));
297 static inline bool str_is_empty(const char *s
)
302 static inline u16
btf_kind(const struct btf_type
*t
)
304 return BTF_INFO_KIND(t
->info
);
307 static inline bool btf_is_enum(const struct btf_type
*t
)
309 return btf_kind(t
) == BTF_KIND_ENUM
;
312 static inline bool btf_is_enum64(const struct btf_type
*t
)
314 return btf_kind(t
) == BTF_KIND_ENUM64
;
317 static inline u64
btf_enum64_value(const struct btf_enum64
*e
)
319 return ((u64
)e
->val_hi32
<< 32) | e
->val_lo32
;
322 static inline bool btf_is_composite(const struct btf_type
*t
)
324 u16 kind
= btf_kind(t
);
326 return kind
== BTF_KIND_STRUCT
|| kind
== BTF_KIND_UNION
;
329 static inline bool btf_is_array(const struct btf_type
*t
)
331 return btf_kind(t
) == BTF_KIND_ARRAY
;
334 static inline bool btf_is_int(const struct btf_type
*t
)
336 return btf_kind(t
) == BTF_KIND_INT
;
339 static inline bool btf_is_ptr(const struct btf_type
*t
)
341 return btf_kind(t
) == BTF_KIND_PTR
;
344 static inline u8
btf_int_offset(const struct btf_type
*t
)
346 return BTF_INT_OFFSET(*(u32
*)(t
+ 1));
349 static inline __u8
btf_int_bits(const struct btf_type
*t
)
351 return BTF_INT_BITS(*(__u32
*)(t
+ 1));
354 static inline bool btf_type_is_scalar(const struct btf_type
*t
)
356 return btf_type_is_int(t
) || btf_type_is_enum(t
);
359 static inline bool btf_type_is_fwd(const struct btf_type
*t
)
361 return BTF_INFO_KIND(t
->info
) == BTF_KIND_FWD
;
364 static inline bool btf_type_is_typedef(const struct btf_type
*t
)
366 return BTF_INFO_KIND(t
->info
) == BTF_KIND_TYPEDEF
;
369 static inline bool btf_type_is_volatile(const struct btf_type
*t
)
371 return BTF_INFO_KIND(t
->info
) == BTF_KIND_VOLATILE
;
374 static inline bool btf_type_is_func(const struct btf_type
*t
)
376 return BTF_INFO_KIND(t
->info
) == BTF_KIND_FUNC
;
379 static inline bool btf_type_is_func_proto(const struct btf_type
*t
)
381 return BTF_INFO_KIND(t
->info
) == BTF_KIND_FUNC_PROTO
;
384 static inline bool btf_type_is_var(const struct btf_type
*t
)
386 return BTF_INFO_KIND(t
->info
) == BTF_KIND_VAR
;
389 static inline bool btf_type_is_type_tag(const struct btf_type
*t
)
391 return BTF_INFO_KIND(t
->info
) == BTF_KIND_TYPE_TAG
;
394 /* union is only a special case of struct:
395 * all its offsetof(member) == 0
397 static inline bool btf_type_is_struct(const struct btf_type
*t
)
399 u8 kind
= BTF_INFO_KIND(t
->info
);
401 return kind
== BTF_KIND_STRUCT
|| kind
== BTF_KIND_UNION
;
404 static inline bool __btf_type_is_struct(const struct btf_type
*t
)
406 return BTF_INFO_KIND(t
->info
) == BTF_KIND_STRUCT
;
409 static inline bool btf_type_is_array(const struct btf_type
*t
)
411 return BTF_INFO_KIND(t
->info
) == BTF_KIND_ARRAY
;
414 static inline u16
btf_type_vlen(const struct btf_type
*t
)
416 return BTF_INFO_VLEN(t
->info
);
419 static inline u16
btf_vlen(const struct btf_type
*t
)
421 return btf_type_vlen(t
);
424 static inline u16
btf_func_linkage(const struct btf_type
*t
)
426 return BTF_INFO_VLEN(t
->info
);
429 static inline bool btf_type_kflag(const struct btf_type
*t
)
431 return BTF_INFO_KFLAG(t
->info
);
434 static inline u32
__btf_member_bit_offset(const struct btf_type
*struct_type
,
435 const struct btf_member
*member
)
437 return btf_type_kflag(struct_type
) ? BTF_MEMBER_BIT_OFFSET(member
->offset
)
441 static inline u32
__btf_member_bitfield_size(const struct btf_type
*struct_type
,
442 const struct btf_member
*member
)
444 return btf_type_kflag(struct_type
) ? BTF_MEMBER_BITFIELD_SIZE(member
->offset
)
448 static inline struct btf_member
*btf_members(const struct btf_type
*t
)
450 return (struct btf_member
*)(t
+ 1);
453 static inline u32
btf_member_bit_offset(const struct btf_type
*t
, u32 member_idx
)
455 const struct btf_member
*m
= btf_members(t
) + member_idx
;
457 return __btf_member_bit_offset(t
, m
);
460 static inline u32
btf_member_bitfield_size(const struct btf_type
*t
, u32 member_idx
)
462 const struct btf_member
*m
= btf_members(t
) + member_idx
;
464 return __btf_member_bitfield_size(t
, m
);
467 static inline const struct btf_member
*btf_type_member(const struct btf_type
*t
)
469 return (const struct btf_member
*)(t
+ 1);
472 static inline struct btf_array
*btf_array(const struct btf_type
*t
)
474 return (struct btf_array
*)(t
+ 1);
477 static inline struct btf_enum
*btf_enum(const struct btf_type
*t
)
479 return (struct btf_enum
*)(t
+ 1);
482 static inline struct btf_enum64
*btf_enum64(const struct btf_type
*t
)
484 return (struct btf_enum64
*)(t
+ 1);
487 static inline const struct btf_var_secinfo
*btf_type_var_secinfo(
488 const struct btf_type
*t
)
490 return (const struct btf_var_secinfo
*)(t
+ 1);
493 static inline struct btf_param
*btf_params(const struct btf_type
*t
)
495 return (struct btf_param
*)(t
+ 1);
498 static inline struct btf_decl_tag
*btf_decl_tag(const struct btf_type
*t
)
500 return (struct btf_decl_tag
*)(t
+ 1);
503 static inline int btf_id_cmp_func(const void *a
, const void *b
)
505 const int *pa
= a
, *pb
= b
;
510 static inline bool btf_id_set_contains(const struct btf_id_set
*set
, u32 id
)
512 return bsearch(&id
, set
->ids
, set
->cnt
, sizeof(u32
), btf_id_cmp_func
) != NULL
;
515 static inline void *btf_id_set8_contains(const struct btf_id_set8
*set
, u32 id
)
517 return bsearch(&id
, set
->pairs
, set
->cnt
, sizeof(set
->pairs
[0]), btf_id_cmp_func
);
520 bool btf_param_match_suffix(const struct btf
*btf
,
521 const struct btf_param
*arg
,
523 int btf_ctx_arg_offset(const struct btf
*btf
, const struct btf_type
*func_proto
,
525 u32
btf_ctx_arg_idx(struct btf
*btf
, const struct btf_type
*func_proto
, int off
);
527 struct bpf_verifier_log
;
529 #if defined(CONFIG_BPF_JIT) && defined(CONFIG_BPF_SYSCALL)
530 struct bpf_struct_ops
;
531 int __register_bpf_struct_ops(struct bpf_struct_ops
*st_ops
);
532 const struct bpf_struct_ops_desc
*bpf_struct_ops_find_value(struct btf
*btf
, u32 value_id
);
533 const struct bpf_struct_ops_desc
*bpf_struct_ops_find(struct btf
*btf
, u32 type_id
);
535 static inline const struct bpf_struct_ops_desc
*bpf_struct_ops_find(struct btf
*btf
, u32 type_id
)
541 enum btf_field_iter_kind
{
546 struct btf_field_desc
{
547 /* once-per-type offsets */
548 int t_off_cnt
, t_offs
[2];
549 /* member struct size, or zero, if no members */
551 /* repeated per-member offsets */
552 int m_off_cnt
, m_offs
[1];
555 struct btf_field_iter
{
556 struct btf_field_desc desc
;
563 #ifdef CONFIG_BPF_SYSCALL
564 const struct btf_type
*btf_type_by_id(const struct btf
*btf
, u32 type_id
);
565 void btf_set_base_btf(struct btf
*btf
, const struct btf
*base_btf
);
566 int btf_relocate(struct btf
*btf
, const struct btf
*base_btf
, __u32
**map_ids
);
567 int btf_field_iter_init(struct btf_field_iter
*it
, struct btf_type
*t
,
568 enum btf_field_iter_kind iter_kind
);
569 __u32
*btf_field_iter_next(struct btf_field_iter
*it
);
571 const char *btf_name_by_offset(const struct btf
*btf
, u32 offset
);
572 const char *btf_str_by_offset(const struct btf
*btf
, u32 offset
);
573 struct btf
*btf_parse_vmlinux(void);
574 struct btf
*bpf_prog_get_target_btf(const struct bpf_prog
*prog
);
575 u32
*btf_kfunc_id_set_contains(const struct btf
*btf
, u32 kfunc_btf_id
,
576 const struct bpf_prog
*prog
);
577 u32
*btf_kfunc_is_modify_return(const struct btf
*btf
, u32 kfunc_btf_id
,
578 const struct bpf_prog
*prog
);
579 int register_btf_kfunc_id_set(enum bpf_prog_type prog_type
,
580 const struct btf_kfunc_id_set
*s
);
581 int register_btf_fmodret_id_set(const struct btf_kfunc_id_set
*kset
);
582 s32
btf_find_dtor_kfunc(struct btf
*btf
, u32 btf_id
);
583 int register_btf_id_dtor_kfuncs(const struct btf_id_dtor_kfunc
*dtors
, u32 add_cnt
,
584 struct module
*owner
);
585 struct btf_struct_meta
*btf_find_struct_meta(const struct btf
*btf
, u32 btf_id
);
586 bool btf_is_projection_of(const char *pname
, const char *tname
);
587 bool btf_is_prog_ctx_type(struct bpf_verifier_log
*log
, const struct btf
*btf
,
588 const struct btf_type
*t
, enum bpf_prog_type prog_type
,
590 int get_kern_ctx_btf_id(struct bpf_verifier_log
*log
, enum bpf_prog_type prog_type
);
591 bool btf_types_are_same(const struct btf
*btf1
, u32 id1
,
592 const struct btf
*btf2
, u32 id2
);
593 int btf_check_iter_arg(struct btf
*btf
, const struct btf_type
*func
, int arg_idx
);
595 static inline bool btf_type_is_struct_ptr(struct btf
*btf
, const struct btf_type
*t
)
597 if (!btf_type_is_ptr(t
))
600 t
= btf_type_skip_modifiers(btf
, t
->type
, NULL
);
602 return btf_type_is_struct(t
);
605 static inline const struct btf_type
*btf_type_by_id(const struct btf
*btf
,
611 static inline void btf_set_base_btf(struct btf
*btf
, const struct btf
*base_btf
)
615 static inline int btf_relocate(void *log
, struct btf
*btf
, const struct btf
*base_btf
,
621 static inline int btf_field_iter_init(struct btf_field_iter
*it
, struct btf_type
*t
,
622 enum btf_field_iter_kind iter_kind
)
627 static inline __u32
*btf_field_iter_next(struct btf_field_iter
*it
)
632 static inline const char *btf_name_by_offset(const struct btf
*btf
,
637 static inline u32
*btf_kfunc_id_set_contains(const struct btf
*btf
,
639 struct bpf_prog
*prog
)
644 static inline int register_btf_kfunc_id_set(enum bpf_prog_type prog_type
,
645 const struct btf_kfunc_id_set
*s
)
649 static inline s32
btf_find_dtor_kfunc(struct btf
*btf
, u32 btf_id
)
653 static inline int register_btf_id_dtor_kfuncs(const struct btf_id_dtor_kfunc
*dtors
,
654 u32 add_cnt
, struct module
*owner
)
658 static inline struct btf_struct_meta
*btf_find_struct_meta(const struct btf
*btf
, u32 btf_id
)
663 btf_is_prog_ctx_type(struct bpf_verifier_log
*log
, const struct btf
*btf
,
664 const struct btf_type
*t
, enum bpf_prog_type prog_type
,
669 static inline int get_kern_ctx_btf_id(struct bpf_verifier_log
*log
,
670 enum bpf_prog_type prog_type
) {
673 static inline bool btf_types_are_same(const struct btf
*btf1
, u32 id1
,
674 const struct btf
*btf2
, u32 id2
)
678 static inline int btf_check_iter_arg(struct btf
*btf
, const struct btf_type
*func
, int arg_idx
)