Files
linux/kernel/bpf
Alexei Starovoitov 58aa2afbb1 bpf: Allow ld_imm64 instruction to point to kfunc.
Allow ld_imm64 insn with BPF_PSEUDO_BTF_ID to hold the address of kfunc. The
ld_imm64 pointing to a valid kfunc will be seen as non-null PTR_TO_MEM by
is_branch_taken() logic of the verifier, while libbpf will resolve address to
unknown kfunc as ld_imm64 reg, 0 which will also be recognized by
is_branch_taken() and the verifier will proceed dead code elimination. BPF
programs can use this logic to detect at load time whether kfunc is present in
the kernel with bpf_ksym_exists() macro that is introduced in the next patches.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Reviewed-by: Martin KaFai Lau <martin.lau@kernel.org>
Reviewed-by: Toke Høiland-Jørgensen <toke@redhat.com>
Acked-by: John Fastabend <john.fastabend@gmail.com>
Link: https://lore.kernel.org/bpf/20230317201920.62030-2-alexei.starovoitov@gmail.com
2023-03-17 15:44:26 -07:00
..
2023-03-07 09:33:42 -08:00
2023-03-07 09:33:42 -08:00
2023-03-08 16:19:51 -08:00
2023-02-22 09:52:32 -08:00
2023-03-07 09:33:42 -08:00
2023-03-07 09:33:42 -08:00
2023-03-07 09:33:42 -08:00
2023-03-13 23:08:21 -07:00
2022-05-10 11:20:45 -07:00
2023-03-07 09:33:42 -08:00
2020-08-28 15:41:30 +02:00
2021-12-18 13:27:41 -08:00
2023-03-07 09:33:43 -08:00
2023-03-07 09:33:42 -08:00
2023-03-07 09:33:42 -08:00