diff options
| author | Yonghong Song <yonghong.song@linux.dev> | 2023-07-27 18:11:56 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2023-07-27 18:52:33 -0700 |
| commit | 1f9a1ea821ff25353a0e80d971e7958cd55b47a3 (patch) | |
| tree | 3761503de2b1677a7d392b52710ee428d1a023d6 /include/linux/filter.h | |
| parent | 10d78a66a5f29fbbde1b09b5139c17c436b08c6e (diff) | |
| download | linux-1f9a1ea821ff25353a0e80d971e7958cd55b47a3.tar.gz linux-1f9a1ea821ff25353a0e80d971e7958cd55b47a3.tar.bz2 linux-1f9a1ea821ff25353a0e80d971e7958cd55b47a3.zip | |
bpf: Support new sign-extension load insns
Add interpreter/jit support for new sign-extension load insns
which adds a new mode (BPF_MEMSX).
Also add verifier support to recognize these insns and to
do proper verification with new insns. In verifier, besides
to deduce proper bounds for the dst_reg, probed memory access
is also properly handled.
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/r/20230728011156.3711870-1-yonghong.song@linux.dev
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'include/linux/filter.h')
| -rw-r--r-- | include/linux/filter.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/linux/filter.h b/include/linux/filter.h index f69114083ec7..a93242b5516b 100644 --- a/include/linux/filter.h +++ b/include/linux/filter.h @@ -69,6 +69,9 @@ struct ctl_table_header; /* unused opcode to mark special load instruction. Same as BPF_ABS */ #define BPF_PROBE_MEM 0x20 +/* unused opcode to mark special ldsx instruction. Same as BPF_IND */ +#define BPF_PROBE_MEMSX 0x40 + /* unused opcode to mark call to interpreter with arguments */ #define BPF_CALL_ARGS 0xe0 |