1 // SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
2 /* Copyright (C) 2019 Facebook */
10 #include <linux/err.h>
16 #include <bpf/libbpf.h>
17 #include <sys/types.h>
22 #include "json_writer.h"
25 #define MAX_OBJ_NAME_LEN 64
27 static void sanitize_identifier(char *name
)
31 for (i
= 0; name
[i
]; i
++)
32 if (!isalnum(name
[i
]) && name
[i
] != '_')
36 static bool str_has_suffix(const char *str
, const char *suffix
)
38 size_t i
, n1
= strlen(str
), n2
= strlen(suffix
);
43 for (i
= 0; i
< n2
; i
++) {
44 if (str
[n1
- i
- 1] != suffix
[n2
- i
- 1])
51 static void get_obj_name(char *name
, const char *file
)
53 /* Using basename() GNU version which doesn't modify arg. */
54 strncpy(name
, basename(file
), MAX_OBJ_NAME_LEN
- 1);
55 name
[MAX_OBJ_NAME_LEN
- 1] = '\0';
56 if (str_has_suffix(name
, ".o"))
57 name
[strlen(name
) - 2] = '\0';
58 sanitize_identifier(name
);
61 static void get_header_guard(char *guard
, const char *obj_name
)
65 sprintf(guard
, "__%s_SKEL_H__", obj_name
);
66 for (i
= 0; guard
[i
]; i
++)
67 guard
[i
] = toupper(guard
[i
]);
70 static const char *get_map_ident(const struct bpf_map
*map
)
72 const char *name
= bpf_map__name(map
);
74 if (!bpf_map__is_internal(map
))
77 if (str_has_suffix(name
, ".data"))
79 else if (str_has_suffix(name
, ".rodata"))
81 else if (str_has_suffix(name
, ".bss"))
83 else if (str_has_suffix(name
, ".kconfig"))
89 static void codegen_btf_dump_printf(void *ctx
, const char *fmt
, va_list args
)
94 static int codegen_datasec_def(struct bpf_object
*obj
,
97 const struct btf_type
*sec
,
100 const char *sec_name
= btf__name_by_offset(btf
, sec
->name_off
);
101 const struct btf_var_secinfo
*sec_var
= btf_var_secinfos(sec
);
102 int i
, err
, off
= 0, pad_cnt
= 0, vlen
= btf_vlen(sec
);
103 const char *sec_ident
;
105 bool strip_mods
= false;
107 if (strcmp(sec_name
, ".data") == 0) {
109 } else if (strcmp(sec_name
, ".bss") == 0) {
111 } else if (strcmp(sec_name
, ".rodata") == 0) {
112 sec_ident
= "rodata";
114 } else if (strcmp(sec_name
, ".kconfig") == 0) {
115 sec_ident
= "kconfig";
120 printf(" struct %s__%s {\n", obj_name
, sec_ident
);
121 for (i
= 0; i
< vlen
; i
++, sec_var
++) {
122 const struct btf_type
*var
= btf__type_by_id(btf
, sec_var
->type
);
123 const char *var_name
= btf__name_by_offset(btf
, var
->name_off
);
124 DECLARE_LIBBPF_OPTS(btf_dump_emit_type_decl_opts
, opts
,
125 .field_name
= var_ident
,
127 .strip_mods
= strip_mods
,
129 int need_off
= sec_var
->offset
, align_off
, align
;
130 __u32 var_type_id
= var
->type
;
132 if (off
> need_off
) {
133 p_err("Something is wrong for %s's variable #%d: need offset %d, already at %d.\n",
134 sec_name
, i
, need_off
, off
);
138 align
= btf__align_of(btf
, var
->type
);
140 p_err("Failed to determine alignment of variable '%s': %d",
144 /* Assume 32-bit architectures when generating data section
145 * struct memory layout. Given bpftool can't know which target
146 * host architecture it's emitting skeleton for, we need to be
147 * conservative and assume 32-bit one to ensure enough padding
148 * bytes are generated for pointer and long types. This will
149 * still work correctly for 64-bit architectures, because in
150 * the worst case we'll generate unnecessary padding field,
151 * which on 64-bit architectures is not strictly necessary and
152 * would be handled by natural 8-byte alignment. But it still
153 * will be a correct memory layout, based on recorded offsets
159 align_off
= (off
+ align
- 1) / align
* align
;
160 if (align_off
!= need_off
) {
161 printf("\t\tchar __pad%d[%d];\n",
162 pad_cnt
, need_off
- off
);
166 /* sanitize variable name, e.g., for static vars inside
167 * a function, it's name is '<function name>.<variable name>',
168 * which we'll turn into a '<function name>_<variable name>'
171 strncat(var_ident
, var_name
, sizeof(var_ident
) - 1);
172 sanitize_identifier(var_ident
);
175 err
= btf_dump__emit_type_decl(d
, var_type_id
, &opts
);
180 off
= sec_var
->offset
+ sec_var
->size
;
182 printf(" } *%s;\n", sec_ident
);
186 static int codegen_datasecs(struct bpf_object
*obj
, const char *obj_name
)
188 struct btf
*btf
= bpf_object__btf(obj
);
189 int n
= btf__get_nr_types(btf
);
193 d
= btf_dump__new(btf
, NULL
, NULL
, codegen_btf_dump_printf
);
197 for (i
= 1; i
<= n
; i
++) {
198 const struct btf_type
*t
= btf__type_by_id(btf
, i
);
200 if (!btf_is_datasec(t
))
203 err
= codegen_datasec_def(obj
, btf
, d
, t
, obj_name
);
212 static void codegen(const char *template, ...)
214 const char *src
, *end
;
215 int skip_tabs
= 0, n
;
220 n
= strlen(template);
227 /* find out "baseline" indentation to skip */
228 while ((c
= *src
++)) {
231 } else if (c
== '\n') {
234 p_err("unrecognized character at pos %td in template '%s'",
235 src
- template - 1, template);
242 /* skip baseline indentation tabs */
243 for (n
= skip_tabs
; n
> 0; n
--, src
++) {
245 p_err("not enough tabs at pos %td in template '%s'",
246 src
- template - 1, template);
251 /* trim trailing whitespace */
252 end
= strchrnul(src
, '\n');
253 for (n
= end
- src
; n
> 0 && isspace(src
[n
- 1]); n
--)
259 src
= *end
? end
+ 1 : end
;
263 /* print out using adjusted template */
264 va_start(args
, template);
265 n
= vprintf(s
, args
);
271 static int do_skeleton(int argc
, char **argv
)
273 char header_guard
[MAX_OBJ_NAME_LEN
+ sizeof("__SKEL_H__")];
274 size_t i
, map_cnt
= 0, prog_cnt
= 0, file_sz
, mmap_sz
;
275 DECLARE_LIBBPF_OPTS(bpf_object_open_opts
, opts
);
276 char obj_name
[MAX_OBJ_NAME_LEN
], *obj_data
;
277 struct bpf_object
*obj
= NULL
;
278 const char *file
, *ident
;
279 struct bpf_program
*prog
;
280 int fd
, len
, err
= -1;
292 p_err("extra unknown arguments");
296 if (stat(file
, &st
)) {
297 p_err("failed to stat() %s: %s", file
, strerror(errno
));
300 file_sz
= st
.st_size
;
301 mmap_sz
= roundup(file_sz
, sysconf(_SC_PAGE_SIZE
));
302 fd
= open(file
, O_RDONLY
);
304 p_err("failed to open() %s: %s", file
, strerror(errno
));
307 obj_data
= mmap(NULL
, mmap_sz
, PROT_READ
, MAP_PRIVATE
, fd
, 0);
308 if (obj_data
== MAP_FAILED
) {
310 p_err("failed to mmap() %s: %s", file
, strerror(errno
));
313 get_obj_name(obj_name
, file
);
314 opts
.object_name
= obj_name
;
315 obj
= bpf_object__open_mem(obj_data
, file_sz
, &opts
);
319 libbpf_strerror(PTR_ERR(obj
), err_buf
, sizeof(err_buf
));
320 p_err("failed to open BPF object file: %s", err_buf
);
325 bpf_object__for_each_map(map
, obj
) {
326 ident
= get_map_ident(map
);
328 p_err("ignoring unrecognized internal map '%s'...",
334 bpf_object__for_each_program(prog
, obj
) {
338 get_header_guard(header_guard
, obj_name
);
341 /* SPDX-License-Identifier: (LGPL-2.1 OR BSD-2-Clause) */ \n\
343 /* THIS FILE IS AUTOGENERATED! */ \n\
347 #include <stdlib.h> \n\
348 #include <bpf/libbpf.h> \n\
351 struct bpf_object_skeleton *skeleton; \n\
352 struct bpf_object *obj; \n\
354 obj_name
, header_guard
358 printf("\tstruct {\n");
359 bpf_object__for_each_map(map
, obj
) {
360 ident
= get_map_ident(map
);
363 printf("\t\tstruct bpf_map *%s;\n", ident
);
365 printf("\t} maps;\n");
369 printf("\tstruct {\n");
370 bpf_object__for_each_program(prog
, obj
) {
371 printf("\t\tstruct bpf_program *%s;\n",
372 bpf_program__name(prog
));
374 printf("\t} progs;\n");
375 printf("\tstruct {\n");
376 bpf_object__for_each_program(prog
, obj
) {
377 printf("\t\tstruct bpf_link *%s;\n",
378 bpf_program__name(prog
));
380 printf("\t} links;\n");
383 btf
= bpf_object__btf(obj
);
385 err
= codegen_datasecs(obj
, obj_name
);
395 %1$s__destroy(struct %1$s *obj) \n\
399 if (obj->skeleton) \n\
400 bpf_object__destroy_skeleton(obj->skeleton);\n\
404 static inline int \n\
405 %1$s__create_skeleton(struct %1$s *obj); \n\
407 static inline struct %1$s * \n\
408 %1$s__open_opts(const struct bpf_object_open_opts *opts) \n\
410 struct %1$s *obj; \n\
412 obj = (struct %1$s *)calloc(1, sizeof(*obj)); \n\
415 if (%1$s__create_skeleton(obj)) \n\
417 if (bpf_object__open_skeleton(obj->skeleton, opts)) \n\
422 %1$s__destroy(obj); \n\
426 static inline struct %1$s * \n\
429 return %1$s__open_opts(NULL); \n\
432 static inline int \n\
433 %1$s__load(struct %1$s *obj) \n\
435 return bpf_object__load_skeleton(obj->skeleton); \n\
438 static inline struct %1$s * \n\
439 %1$s__open_and_load(void) \n\
441 struct %1$s *obj; \n\
443 obj = %1$s__open(); \n\
446 if (%1$s__load(obj)) { \n\
447 %1$s__destroy(obj); \n\
453 static inline int \n\
454 %1$s__attach(struct %1$s *obj) \n\
456 return bpf_object__attach_skeleton(obj->skeleton); \n\
459 static inline void \n\
460 %1$s__detach(struct %1$s *obj) \n\
462 return bpf_object__detach_skeleton(obj->skeleton); \n\
471 static inline int \n\
472 %1$s__create_skeleton(struct %1$s *obj) \n\
474 struct bpf_object_skeleton *s; \n\
476 s = (struct bpf_object_skeleton *)calloc(1, sizeof(*s));\n\
479 obj->skeleton = s; \n\
481 s->sz = sizeof(*s); \n\
482 s->name = \"%1$s\"; \n\
483 s->obj = &obj->obj; \n\
492 s->map_cnt = %zu; \n\
493 s->map_skel_sz = sizeof(*s->maps); \n\
494 s->maps = (struct bpf_map_skeleton *)calloc(s->map_cnt, s->map_skel_sz);\n\
501 bpf_object__for_each_map(map
, obj
) {
502 ident
= get_map_ident(map
);
510 s->maps[%zu].name = \"%s\"; \n\
511 s->maps[%zu].map = &obj->maps.%s; \n\
513 i
, bpf_map__name(map
), i
, ident
);
514 /* memory-mapped internal maps */
515 if (bpf_map__is_internal(map
) &&
516 (bpf_map__def(map
)->map_flags
& BPF_F_MMAPABLE
)) {
517 printf("\ts->maps[%zu].mmaped = (void **)&obj->%s;\n",
528 s->prog_cnt = %zu; \n\
529 s->prog_skel_sz = sizeof(*s->progs); \n\
530 s->progs = (struct bpf_prog_skeleton *)calloc(s->prog_cnt, s->prog_skel_sz);\n\
537 bpf_object__for_each_program(prog
, obj
) {
541 s->progs[%1$zu].name = \"%2$s\"; \n\
542 s->progs[%1$zu].prog = &obj->progs.%2$s;\n\
543 s->progs[%1$zu].link = &obj->links.%2$s;\n\
545 i
, bpf_program__name(prog
));
553 s->data = (void *)\"\\ \n\
557 /* embed contents of BPF object file */
558 for (i
= 0, len
= 0; i
< file_sz
; i
++) {
559 int w
= obj_data
[i
] ? 4 : 2;
569 printf("\\x%02x", (unsigned char)obj_data
[i
]);
578 bpf_object__destroy_skeleton(s); \n\
587 bpf_object__close(obj
);
589 munmap(obj_data
, mmap_sz
);
594 static int do_help(int argc
, char **argv
)
597 jsonw_null(json_wtr
);
602 "Usage: %1$s %2$s skeleton FILE\n"
605 " " HELP_SPEC_OPTIONS
"\n"
612 static const struct cmd cmds
[] = {
613 { "skeleton", do_skeleton
},
618 int do_gen(int argc
, char **argv
)
620 return cmd_select(cmds
, argc
, argv
, do_help
);