diff options
author | Daniel Borkmann <daniel@iogearbox.net> | 2019-10-11 01:49:16 +0200 |
---|---|---|
committer | Daniel Borkmann <daniel@iogearbox.net> | 2019-10-11 01:49:21 +0200 |
commit | 63098555cfe09a633b74a3c9963769c6d4df8432 (patch) | |
tree | 59d859c0324f8da7eea026033a3ccd8ffec63b05 /include/linux/bpf.h | |
parent | scripts/bpf: Fix xdp_md forward declaration typo (diff) | |
parent | selftests/bpf: Add read-only map values propagation tests (diff) | |
download | linux-dev-63098555cfe09a633b74a3c9963769c6d4df8432.tar.xz linux-dev-63098555cfe09a633b74a3c9963769c6d4df8432.zip |
Merge branch 'bpf-romap-known-scalars'
Andrii Nakryiko says:
====================
With BPF maps supporting direct map access (currently, array_map w/ single
element, used for global data) that are read-only both from system call and
BPF side, it's possible for BPF verifier to track its contents as known
constants.
Now it's possible for user-space control app to pre-initialize read-only map
(e.g., for .rodata section) with user-provided flags and parameters and rely
on BPF verifier to detect and eliminate dead code resulting from specific
combination of input parameters.
v1->v2:
- BPF_F_RDONLY means nothing, stick to just map->frozen (Daniel);
- stick to passing just offset into map_direct_value_addr (Martin).
====================
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Diffstat (limited to 'include/linux/bpf.h')
0 files changed, 0 insertions, 0 deletions