1d7c4b398SAndrii Nakryiko /* SPDX-License-Identifier: (LGPL-2.1 OR BSD-2-Clause) */ 2d7c4b398SAndrii Nakryiko 3d7c4b398SAndrii Nakryiko /* 4d7c4b398SAndrii Nakryiko * Internal libbpf helpers. 5d7c4b398SAndrii Nakryiko * 6d7c4b398SAndrii Nakryiko * Copyright (c) 2019 Facebook 7d7c4b398SAndrii Nakryiko */ 8d7c4b398SAndrii Nakryiko 9d7c4b398SAndrii Nakryiko #ifndef __LIBBPF_LIBBPF_INTERNAL_H 10d7c4b398SAndrii Nakryiko #define __LIBBPF_LIBBPF_INTERNAL_H 11d7c4b398SAndrii Nakryiko 12029258d7SAndrii Nakryiko #include <stdlib.h> 13dda1ec9fSAndrii Nakryiko #include <limits.h> 1485367030SAndrii Nakryiko 1585367030SAndrii Nakryiko /* make sure libbpf doesn't use kernel-only integer typedefs */ 1685367030SAndrii Nakryiko #pragma GCC poison u8 u16 u32 u64 s8 s16 s32 s64 1785367030SAndrii Nakryiko 1885367030SAndrii Nakryiko /* prevent accidental re-addition of reallocarray() */ 1985367030SAndrii Nakryiko #pragma GCC poison reallocarray 2085367030SAndrii Nakryiko 211d7a08b3SAndrii Nakryiko #include "libbpf.h" 221d7a08b3SAndrii Nakryiko 23d7c4b398SAndrii Nakryiko #define BTF_INFO_ENC(kind, kind_flag, vlen) \ 24d7c4b398SAndrii Nakryiko ((!!(kind_flag) << 31) | ((kind) << 24) | ((vlen) & BTF_MAX_VLEN)) 25d7c4b398SAndrii Nakryiko #define BTF_TYPE_ENC(name, info, size_or_type) (name), (info), (size_or_type) 26d7c4b398SAndrii Nakryiko #define BTF_INT_ENC(encoding, bits_offset, nr_bits) \ 27d7c4b398SAndrii Nakryiko ((encoding) << 24 | (bits_offset) << 16 | (nr_bits)) 28d7c4b398SAndrii Nakryiko #define BTF_TYPE_INT_ENC(name, encoding, bits_offset, bits, sz) \ 29d7c4b398SAndrii Nakryiko BTF_TYPE_ENC(name, BTF_INFO_ENC(BTF_KIND_INT, 0, 0), sz), \ 30d7c4b398SAndrii Nakryiko BTF_INT_ENC(encoding, bits_offset, bits) 31d7c4b398SAndrii Nakryiko #define BTF_MEMBER_ENC(name, type, bits_offset) (name), (type), (bits_offset) 32d7c4b398SAndrii Nakryiko #define BTF_PARAM_ENC(name, type) (name), (type) 33d7c4b398SAndrii Nakryiko #define BTF_VAR_SECINFO_ENC(type, offset, size) (type), (offset), (size) 34d7c4b398SAndrii Nakryiko 35029258d7SAndrii Nakryiko #ifndef likely 36029258d7SAndrii Nakryiko #define likely(x) __builtin_expect(!!(x), 1) 37029258d7SAndrii Nakryiko #endif 38029258d7SAndrii Nakryiko #ifndef unlikely 39029258d7SAndrii Nakryiko #define unlikely(x) __builtin_expect(!!(x), 0) 40029258d7SAndrii Nakryiko #endif 41d7fe74f9SAndrii Nakryiko #ifndef min 42d7fe74f9SAndrii Nakryiko # define min(x, y) ((x) < (y) ? (x) : (y)) 43d7fe74f9SAndrii Nakryiko #endif 44d7fe74f9SAndrii Nakryiko #ifndef max 45d7fe74f9SAndrii Nakryiko # define max(x, y) ((x) < (y) ? (y) : (x)) 46d7fe74f9SAndrii Nakryiko #endif 474cedc0daSAndrii Nakryiko #ifndef offsetofend 484cedc0daSAndrii Nakryiko # define offsetofend(TYPE, FIELD) \ 494cedc0daSAndrii Nakryiko (offsetof(TYPE, FIELD) + sizeof(((TYPE *)0)->FIELD)) 504cedc0daSAndrii Nakryiko #endif 51d7fe74f9SAndrii Nakryiko 521bd63524SYonghong Song /* Symbol versioning is different between static and shared library. 531bd63524SYonghong Song * Properly versioned symbols are needed for shared library, but 541bd63524SYonghong Song * only the symbol of the new version is needed for static library. 551bd63524SYonghong Song */ 561bd63524SYonghong Song #ifdef SHARED 571bd63524SYonghong Song # define COMPAT_VERSION(internal_name, api_name, version) \ 581bd63524SYonghong Song asm(".symver " #internal_name "," #api_name "@" #version); 591bd63524SYonghong Song # define DEFAULT_VERSION(internal_name, api_name, version) \ 601bd63524SYonghong Song asm(".symver " #internal_name "," #api_name "@@" #version); 611bd63524SYonghong Song #else 621bd63524SYonghong Song # define COMPAT_VERSION(internal_name, api_name, version) 631bd63524SYonghong Song # define DEFAULT_VERSION(internal_name, api_name, version) \ 641bd63524SYonghong Song extern typeof(internal_name) api_name \ 651bd63524SYonghong Song __attribute__((alias(#internal_name))); 661bd63524SYonghong Song #endif 671bd63524SYonghong Song 68d72386feSAndrii Nakryiko extern void libbpf_print(enum libbpf_print_level level, 69d72386feSAndrii Nakryiko const char *format, ...) 70d72386feSAndrii Nakryiko __attribute__((format(printf, 2, 3))); 71d72386feSAndrii Nakryiko 72d72386feSAndrii Nakryiko #define __pr(level, fmt, ...) \ 73d72386feSAndrii Nakryiko do { \ 74d72386feSAndrii Nakryiko libbpf_print(level, "libbpf: " fmt, ##__VA_ARGS__); \ 75d72386feSAndrii Nakryiko } while (0) 76d72386feSAndrii Nakryiko 77be18010eSKefeng Wang #define pr_warn(fmt, ...) __pr(LIBBPF_WARN, fmt, ##__VA_ARGS__) 78d72386feSAndrii Nakryiko #define pr_info(fmt, ...) __pr(LIBBPF_INFO, fmt, ##__VA_ARGS__) 79d72386feSAndrii Nakryiko #define pr_debug(fmt, ...) __pr(LIBBPF_DEBUG, fmt, ##__VA_ARGS__) 80d72386feSAndrii Nakryiko 81dda1ec9fSAndrii Nakryiko #ifndef __has_builtin 82dda1ec9fSAndrii Nakryiko #define __has_builtin(x) 0 83dda1ec9fSAndrii Nakryiko #endif 84029258d7SAndrii Nakryiko /* 85029258d7SAndrii Nakryiko * Re-implement glibc's reallocarray() for libbpf internal-only use. 86029258d7SAndrii Nakryiko * reallocarray(), unfortunately, is not available in all versions of glibc, 87029258d7SAndrii Nakryiko * so requires extra feature detection and using reallocarray() stub from 88029258d7SAndrii Nakryiko * <tools/libc_compat.h> and COMPAT_NEED_REALLOCARRAY. All this complicates 89029258d7SAndrii Nakryiko * build of libbpf unnecessarily and is just a maintenance burden. Instead, 90029258d7SAndrii Nakryiko * it's trivial to implement libbpf-specific internal version and use it 91029258d7SAndrii Nakryiko * throughout libbpf. 92029258d7SAndrii Nakryiko */ 93029258d7SAndrii Nakryiko static inline void *libbpf_reallocarray(void *ptr, size_t nmemb, size_t size) 94029258d7SAndrii Nakryiko { 95029258d7SAndrii Nakryiko size_t total; 96029258d7SAndrii Nakryiko 97dda1ec9fSAndrii Nakryiko #if __has_builtin(__builtin_mul_overflow) 98029258d7SAndrii Nakryiko if (unlikely(__builtin_mul_overflow(nmemb, size, &total))) 99029258d7SAndrii Nakryiko return NULL; 100dda1ec9fSAndrii Nakryiko #else 101dda1ec9fSAndrii Nakryiko if (size == 0 || nmemb > ULONG_MAX / size) 102dda1ec9fSAndrii Nakryiko return NULL; 103dda1ec9fSAndrii Nakryiko total = nmemb * size; 104dda1ec9fSAndrii Nakryiko #endif 105029258d7SAndrii Nakryiko return realloc(ptr, total); 106029258d7SAndrii Nakryiko } 107029258d7SAndrii Nakryiko 1082ce8450eSAndrii Nakryiko static inline bool libbpf_validate_opts(const char *opts, 1092ce8450eSAndrii Nakryiko size_t opts_sz, size_t user_sz, 1102ce8450eSAndrii Nakryiko const char *type_name) 1112ce8450eSAndrii Nakryiko { 1122ce8450eSAndrii Nakryiko if (user_sz < sizeof(size_t)) { 113be18010eSKefeng Wang pr_warn("%s size (%zu) is too small\n", type_name, user_sz); 1142ce8450eSAndrii Nakryiko return false; 1152ce8450eSAndrii Nakryiko } 1162ce8450eSAndrii Nakryiko if (user_sz > opts_sz) { 1172ce8450eSAndrii Nakryiko size_t i; 1182ce8450eSAndrii Nakryiko 1192ce8450eSAndrii Nakryiko for (i = opts_sz; i < user_sz; i++) { 1202ce8450eSAndrii Nakryiko if (opts[i]) { 12112dd14b2SToke Høiland-Jørgensen pr_warn("%s has non-zero extra bytes\n", 1222ce8450eSAndrii Nakryiko type_name); 1232ce8450eSAndrii Nakryiko return false; 1242ce8450eSAndrii Nakryiko } 1252ce8450eSAndrii Nakryiko } 1262ce8450eSAndrii Nakryiko } 1272ce8450eSAndrii Nakryiko return true; 1282ce8450eSAndrii Nakryiko } 1292ce8450eSAndrii Nakryiko 1302ce8450eSAndrii Nakryiko #define OPTS_VALID(opts, type) \ 1312ce8450eSAndrii Nakryiko (!(opts) || libbpf_validate_opts((const char *)opts, \ 1322ce8450eSAndrii Nakryiko offsetofend(struct type, \ 1332ce8450eSAndrii Nakryiko type##__last_field), \ 1342ce8450eSAndrii Nakryiko (opts)->sz, #type)) 1352ce8450eSAndrii Nakryiko #define OPTS_HAS(opts, field) \ 1362ce8450eSAndrii Nakryiko ((opts) && opts->sz >= offsetofend(typeof(*(opts)), field)) 1372ce8450eSAndrii Nakryiko #define OPTS_GET(opts, field, fallback_value) \ 1382ce8450eSAndrii Nakryiko (OPTS_HAS(opts, field) ? (opts)->field : fallback_value) 1392ce8450eSAndrii Nakryiko 1406803ee25SAndrii Nakryiko int parse_cpu_mask_str(const char *s, bool **mask, int *mask_sz); 1416803ee25SAndrii Nakryiko int parse_cpu_mask_file(const char *fcpu, bool **mask, int *mask_sz); 142cfd49210SMichal Rostecki int libbpf__load_raw_btf(const char *raw_types, size_t types_len, 143d7c4b398SAndrii Nakryiko const char *str_sec, size_t str_len); 144d7c4b398SAndrii Nakryiko 145612d05beSAndrii Nakryiko int bpf_object__section_size(const struct bpf_object *obj, const char *name, 146612d05beSAndrii Nakryiko __u32 *size); 147612d05beSAndrii Nakryiko int bpf_object__variable_offset(const struct bpf_object *obj, const char *name, 148612d05beSAndrii Nakryiko __u32 *off); 149612d05beSAndrii Nakryiko 1504cedc0daSAndrii Nakryiko struct btf_ext_info { 1514cedc0daSAndrii Nakryiko /* 1524cedc0daSAndrii Nakryiko * info points to the individual info section (e.g. func_info and 1534cedc0daSAndrii Nakryiko * line_info) from the .BTF.ext. It does not include the __u32 rec_size. 1544cedc0daSAndrii Nakryiko */ 1554cedc0daSAndrii Nakryiko void *info; 1564cedc0daSAndrii Nakryiko __u32 rec_size; 1574cedc0daSAndrii Nakryiko __u32 len; 1584cedc0daSAndrii Nakryiko }; 1594cedc0daSAndrii Nakryiko 1604cedc0daSAndrii Nakryiko #define for_each_btf_ext_sec(seg, sec) \ 1614cedc0daSAndrii Nakryiko for (sec = (seg)->info; \ 1624cedc0daSAndrii Nakryiko (void *)sec < (seg)->info + (seg)->len; \ 1634cedc0daSAndrii Nakryiko sec = (void *)sec + sizeof(struct btf_ext_info_sec) + \ 1644cedc0daSAndrii Nakryiko (seg)->rec_size * sec->num_info) 1654cedc0daSAndrii Nakryiko 1664cedc0daSAndrii Nakryiko #define for_each_btf_ext_rec(seg, sec, i, rec) \ 1674cedc0daSAndrii Nakryiko for (i = 0, rec = (void *)&(sec)->data; \ 1684cedc0daSAndrii Nakryiko i < (sec)->num_info; \ 1694cedc0daSAndrii Nakryiko i++, rec = (void *)rec + (seg)->rec_size) 1704cedc0daSAndrii Nakryiko 17128b93c64SAndrii Nakryiko /* 17228b93c64SAndrii Nakryiko * The .BTF.ext ELF section layout defined as 17328b93c64SAndrii Nakryiko * struct btf_ext_header 17428b93c64SAndrii Nakryiko * func_info subsection 17528b93c64SAndrii Nakryiko * 17628b93c64SAndrii Nakryiko * The func_info subsection layout: 17728b93c64SAndrii Nakryiko * record size for struct bpf_func_info in the func_info subsection 17828b93c64SAndrii Nakryiko * struct btf_sec_func_info for section #1 17928b93c64SAndrii Nakryiko * a list of bpf_func_info records for section #1 18028b93c64SAndrii Nakryiko * where struct bpf_func_info mimics one in include/uapi/linux/bpf.h 18128b93c64SAndrii Nakryiko * but may not be identical 18228b93c64SAndrii Nakryiko * struct btf_sec_func_info for section #2 18328b93c64SAndrii Nakryiko * a list of bpf_func_info records for section #2 18428b93c64SAndrii Nakryiko * ...... 18528b93c64SAndrii Nakryiko * 18628b93c64SAndrii Nakryiko * Note that the bpf_func_info record size in .BTF.ext may not 18728b93c64SAndrii Nakryiko * be the same as the one defined in include/uapi/linux/bpf.h. 18828b93c64SAndrii Nakryiko * The loader should ensure that record_size meets minimum 18928b93c64SAndrii Nakryiko * requirement and pass the record as is to the kernel. The 19028b93c64SAndrii Nakryiko * kernel will handle the func_info properly based on its contents. 19128b93c64SAndrii Nakryiko */ 19228b93c64SAndrii Nakryiko struct btf_ext_header { 19328b93c64SAndrii Nakryiko __u16 magic; 19428b93c64SAndrii Nakryiko __u8 version; 19528b93c64SAndrii Nakryiko __u8 flags; 19628b93c64SAndrii Nakryiko __u32 hdr_len; 19728b93c64SAndrii Nakryiko 19828b93c64SAndrii Nakryiko /* All offsets are in bytes relative to the end of this header */ 19928b93c64SAndrii Nakryiko __u32 func_info_off; 20028b93c64SAndrii Nakryiko __u32 func_info_len; 20128b93c64SAndrii Nakryiko __u32 line_info_off; 20228b93c64SAndrii Nakryiko __u32 line_info_len; 20328b93c64SAndrii Nakryiko 20428b93c64SAndrii Nakryiko /* optional part of .BTF.ext header */ 20528b93c64SAndrii Nakryiko __u32 core_relo_off; 20628b93c64SAndrii Nakryiko __u32 core_relo_len; 20728b93c64SAndrii Nakryiko }; 20828b93c64SAndrii Nakryiko 2094cedc0daSAndrii Nakryiko struct btf_ext { 2104cedc0daSAndrii Nakryiko union { 2114cedc0daSAndrii Nakryiko struct btf_ext_header *hdr; 2124cedc0daSAndrii Nakryiko void *data; 2134cedc0daSAndrii Nakryiko }; 2144cedc0daSAndrii Nakryiko struct btf_ext_info func_info; 2154cedc0daSAndrii Nakryiko struct btf_ext_info line_info; 21628b93c64SAndrii Nakryiko struct btf_ext_info core_relo_info; 2174cedc0daSAndrii Nakryiko __u32 data_size; 2184cedc0daSAndrii Nakryiko }; 2194cedc0daSAndrii Nakryiko 2204cedc0daSAndrii Nakryiko struct btf_ext_info_sec { 2214cedc0daSAndrii Nakryiko __u32 sec_name_off; 2224cedc0daSAndrii Nakryiko __u32 num_info; 2234cedc0daSAndrii Nakryiko /* Followed by num_info * record_size number of bytes */ 224385bbf7bSGustavo A. R. Silva __u8 data[]; 2254cedc0daSAndrii Nakryiko }; 2264cedc0daSAndrii Nakryiko 2274cedc0daSAndrii Nakryiko /* The minimum bpf_func_info checked by the loader */ 2284cedc0daSAndrii Nakryiko struct bpf_func_info_min { 2294cedc0daSAndrii Nakryiko __u32 insn_off; 2304cedc0daSAndrii Nakryiko __u32 type_id; 2314cedc0daSAndrii Nakryiko }; 2324cedc0daSAndrii Nakryiko 2334cedc0daSAndrii Nakryiko /* The minimum bpf_line_info checked by the loader */ 2344cedc0daSAndrii Nakryiko struct bpf_line_info_min { 2354cedc0daSAndrii Nakryiko __u32 insn_off; 2364cedc0daSAndrii Nakryiko __u32 file_name_off; 2374cedc0daSAndrii Nakryiko __u32 line_off; 2384cedc0daSAndrii Nakryiko __u32 line_col; 2394cedc0daSAndrii Nakryiko }; 2404cedc0daSAndrii Nakryiko 24128b93c64SAndrii Nakryiko /* bpf_core_relo_kind encodes which aspect of captured field/type/enum value 24228b93c64SAndrii Nakryiko * has to be adjusted by relocations. 243511bb008SAndrii Nakryiko */ 24428b93c64SAndrii Nakryiko enum bpf_core_relo_kind { 245511bb008SAndrii Nakryiko BPF_FIELD_BYTE_OFFSET = 0, /* field byte offset */ 24628b93c64SAndrii Nakryiko BPF_FIELD_BYTE_SIZE = 1, /* field size in bytes */ 247511bb008SAndrii Nakryiko BPF_FIELD_EXISTS = 2, /* field existence in target kernel */ 24828b93c64SAndrii Nakryiko BPF_FIELD_SIGNED = 3, /* field signedness (0 - unsigned, 1 - signed) */ 24928b93c64SAndrii Nakryiko BPF_FIELD_LSHIFT_U64 = 4, /* bitfield-specific left bitshift */ 25028b93c64SAndrii Nakryiko BPF_FIELD_RSHIFT_U64 = 5, /* bitfield-specific right bitshift */ 2513fc32f40SAndrii Nakryiko BPF_TYPE_ID_LOCAL = 6, /* type ID in local BPF object */ 2523fc32f40SAndrii Nakryiko BPF_TYPE_ID_TARGET = 7, /* type ID in target kernel */ 2533fc32f40SAndrii Nakryiko BPF_TYPE_EXISTS = 8, /* type existence in target kernel */ 2543fc32f40SAndrii Nakryiko BPF_TYPE_SIZE = 9, /* type size in bytes */ 255eacaaed7SAndrii Nakryiko BPF_ENUMVAL_EXISTS = 10, /* enum value existence in target kernel */ 256eacaaed7SAndrii Nakryiko BPF_ENUMVAL_VALUE = 11, /* enum value integer value */ 257511bb008SAndrii Nakryiko }; 258511bb008SAndrii Nakryiko 25928b93c64SAndrii Nakryiko /* The minimum bpf_core_relo checked by the loader 2604cedc0daSAndrii Nakryiko * 26128b93c64SAndrii Nakryiko * CO-RE relocation captures the following data: 2624cedc0daSAndrii Nakryiko * - insn_off - instruction offset (in bytes) within a BPF program that needs 263511bb008SAndrii Nakryiko * its insn->imm field to be relocated with actual field info; 2644cedc0daSAndrii Nakryiko * - type_id - BTF type ID of the "root" (containing) entity of a relocatable 26528b93c64SAndrii Nakryiko * type or field; 2664cedc0daSAndrii Nakryiko * - access_str_off - offset into corresponding .BTF string section. String 26728b93c64SAndrii Nakryiko * interpretation depends on specific relocation kind: 26828b93c64SAndrii Nakryiko * - for field-based relocations, string encodes an accessed field using 26928b93c64SAndrii Nakryiko * a sequence of field and array indices, separated by colon (:). It's 27028b93c64SAndrii Nakryiko * conceptually very close to LLVM's getelementptr ([0]) instruction's 27128b93c64SAndrii Nakryiko * arguments for identifying offset to a field. 27228b93c64SAndrii Nakryiko * - for type-based relocations, strings is expected to be just "0"; 27328b93c64SAndrii Nakryiko * - for enum value-based relocations, string contains an index of enum 27428b93c64SAndrii Nakryiko * value within its enum type; 2754cedc0daSAndrii Nakryiko * 2764cedc0daSAndrii Nakryiko * Example to provide a better feel. 2774cedc0daSAndrii Nakryiko * 2784cedc0daSAndrii Nakryiko * struct sample { 2794cedc0daSAndrii Nakryiko * int a; 2804cedc0daSAndrii Nakryiko * struct { 2814cedc0daSAndrii Nakryiko * int b[10]; 2824cedc0daSAndrii Nakryiko * }; 2834cedc0daSAndrii Nakryiko * }; 2844cedc0daSAndrii Nakryiko * 2854cedc0daSAndrii Nakryiko * struct sample *s = ...; 2864cedc0daSAndrii Nakryiko * int x = &s->a; // encoded as "0:0" (a is field #0) 2874cedc0daSAndrii Nakryiko * int y = &s->b[5]; // encoded as "0:1:0:5" (anon struct is field #1, 2884cedc0daSAndrii Nakryiko * // b is field #0 inside anon struct, accessing elem #5) 2894cedc0daSAndrii Nakryiko * int z = &s[10]->b; // encoded as "10:1" (ptr is used as an array) 2904cedc0daSAndrii Nakryiko * 2914cedc0daSAndrii Nakryiko * type_id for all relocs in this example will capture BTF type id of 2924cedc0daSAndrii Nakryiko * `struct sample`. 2934cedc0daSAndrii Nakryiko * 2944cedc0daSAndrii Nakryiko * Such relocation is emitted when using __builtin_preserve_access_index() 2954cedc0daSAndrii Nakryiko * Clang built-in, passing expression that captures field address, e.g.: 2964cedc0daSAndrii Nakryiko * 2974cedc0daSAndrii Nakryiko * bpf_probe_read(&dst, sizeof(dst), 2984cedc0daSAndrii Nakryiko * __builtin_preserve_access_index(&src->a.b.c)); 2994cedc0daSAndrii Nakryiko * 300511bb008SAndrii Nakryiko * In this case Clang will emit field relocation recording necessary data to 3014cedc0daSAndrii Nakryiko * be able to find offset of embedded `a.b.c` field within `src` struct. 3024cedc0daSAndrii Nakryiko * 3034cedc0daSAndrii Nakryiko * [0] https://llvm.org/docs/LangRef.html#getelementptr-instruction 3044cedc0daSAndrii Nakryiko */ 30528b93c64SAndrii Nakryiko struct bpf_core_relo { 3064cedc0daSAndrii Nakryiko __u32 insn_off; 3074cedc0daSAndrii Nakryiko __u32 type_id; 3084cedc0daSAndrii Nakryiko __u32 access_str_off; 30928b93c64SAndrii Nakryiko enum bpf_core_relo_kind kind; 3104cedc0daSAndrii Nakryiko }; 3114cedc0daSAndrii Nakryiko 312d7c4b398SAndrii Nakryiko #endif /* __LIBBPF_LIBBPF_INTERNAL_H */ 313