kernel/tools/testing/selftests/bpf/verifier/leak_ptr.c, branch linux-6.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-6.2.y2021-01-15T02:34:29Zbpf: Rename BPF_XADD and prepare to encode other atomics in .imm2021-01-15T02:34:29ZBrendan Jackmanjackmanb@google.com2021-01-14T18:17:44Zurn:sha1:91c960b0056672e74627776655c926388350fa30
A subsequent patch will add additional atomic operations. These new
operations will use the same opcode field as the existing XADD, with
the immediate discriminating different operations.
In preparation, rename the instruction mode BPF_ATOMIC and start
calling the zero immediate BPF_ADD.
This is possible (doesn't break existing valid BPF progs) because the
immediate field is currently reserved MBZ and BPF_ADD is zero.
All uses are removed from the tree but the BPF_XADD definition is
kept around to avoid breaking builds for people including kernel
headers.
Signed-off-by: Brendan Jackman <jackmanb@google.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Björn Töpel <bjorn.topel@gmail.com>
Link: https://lore.kernel.org/bpf/20210114181751.768687-5-jackmanb@google.com
selftests: bpf: break up test_verifier2019-01-28T05:37:45ZJakub Kicinskijakub.kicinski@netronome.com2019-01-25T23:24:43Zurn:sha1:40f2fbd5a5e9c6d0799632fcba174a7b45c471da
Break up the first 10 kLoC of test verifier test cases
out into smaller files. Looks like git line counting
gets a little flismy above 16 bit integers, so we need
two commits to break up test_verifier.
Signed-off-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Acked-by: Jiong Wang <jiong.wang@netronome.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>